Preface to the special issue on Formal Methods for Industrial Critical Systems (FMICS'2014).
Frédéric LangFrancesco FlamminiPublished in: Sci. Comput. Program. (2016)
Keyphrases
- special issue
- formal methods
- safety critical
- international journal
- ai edam
- model checking
- ecml pkdd
- formal analysis
- software engineering
- knowledge based systems
- building blocks
- process algebra
- formal specification
- artificial intelligence
- database systems
- special section
- machine learning
- knowledge base
- reactive systems
- web services
- security properties
- expert systems
- query language
- software development
- open source