Preface to the special section on Formal Methods for Industrial Critical Systems (FMICS 2009 + FMICS 2010).
María AlpuenteChristophe JoubertStefan KowalewskiMarco RoveriPublished in: Sci. Comput. Program. (2013)
Keyphrases
- formal methods
- special section
- safety critical
- formal analysis
- artificial intelligence
- data mining
- software engineering
- distributed systems
- knowledge based systems
- formal specification
- model checker
- model checking
- formal specification language
- temporal properties
- reactive systems
- embedded systems
- special issue
- software development
- learning objects
- relational databases
- database systems
- high level
- process algebra
- information systems