Preface to special issue: lightweight and practical formal methods in the design and analysis of safety-critical systems.
Azer BestavrosAssaf J. KfouryPublished in: Math. Struct. Comput. Sci. (2013)
Keyphrases
- formal methods
- safety critical
- lightweight
- special issue
- safety analysis
- knowledge based systems
- embedded systems
- regulatory requirements
- formal specification
- model checking
- artificial intelligence
- ecml pkdd
- support systems
- fault tolerant
- agent architecture
- model checker
- development lifecycle
- ai edam
- modeling language
- real time
- case study
- user interface
- wireless sensor networks
- low cost
- database
- international journal
- data mining
- software engineering