A Formal Task-Analytic Approach to Medical Device Alarm Troubleshooting Instructions.
Andrew J. AbbateAmy L. ThrockmortonEllen J. BassPublished in: IEEE Trans. Hum. Mach. Syst. (2016)
Keyphrases
- medical devices
- intensive care units
- medical diagnosis
- expert systems
- formal specification
- monitoring system
- medical data
- medical domain
- formal model
- medical experts
- computer programs
- data sets
- model checking
- domain specific
- image segmentation
- artificial intelligence
- learning algorithm
- formal language
- genetic algorithm
- data mining