• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Modal Specification Approach for On-Demand Medical Systems.

Andrew L. KingLu FengOleg SokolskyInsup 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