Applying Formal Methods into Safety-Critical Health Applications.
Mohammad Reza GholamiHanifa BouchenebPublished in: IMBSA (2014)
Keyphrases
- formal methods
- safety critical
- safety analysis
- knowledge based systems
- software engineering
- model checker
- model checking
- formal specification
- artificial intelligence
- regulatory requirements
- agent architecture
- fault tolerant
- knowledge acquisition
- expert systems
- case study
- embedded systems
- temporal logic
- modeling language
- health care
- development lifecycle
- real time