A Modal Specification Approach for On-Demand Medical Systems.

Andrew L. King Lu Feng Oleg Sokolsky Insup Lee

Published in: FHIES (2013)

Keyphrases

complex systems
neural network
computer systems
management system
intelligent systems
building blocks
petri net
software components
formal methods
exception handling
transition systems
medical decision support