Preface of the special issue on formal methods in industrial critical systems.
Matthias GüdemannManuel NúñezPublished in: Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
- special issue
- formal methods
- safety critical
- model checking
- ecml pkdd
- international journal
- knowledge based systems
- ai edam
- data mining
- software engineering
- artificial intelligence
- special section
- development lifecycle
- formal specification language
- databases
- applied intelligence
- process algebra
- formal analysis
- formal specification