Preface to the special issue on Formal Methods: Foundations and Applications.
Tiago MassoniMohammad Reza MousaviPublished in: Sci. Comput. Program. (2021)
Keyphrases
- formal methods
- special issue
- artificial intelligence
- ai edam
- knowledge based systems
- formal analysis
- model checking
- international journal
- international workshop
- safety critical
- model checker
- ecml pkdd
- special section
- formal specification
- applied intelligence
- real world
- modeling language
- process algebra
- software engineering
- case study
- reactive systems
- computer science