Preface: Special Issue on Nasa Formal Methods Symposium 2009.
Ewen DenneyDimitra GiannakopoulouCorina S. PasareanuPublished in: Innov. Syst. Softw. Eng. (2010)
Keyphrases
- special issue
- formal methods
- artificial intelligence
- model checking
- international workshop
- knowledge based systems
- computer science
- ai edam
- safety critical
- formal analysis
- applied intelligence
- international journal
- ecml pkdd
- model checker
- software engineering
- selected papers
- special section
- formal specification
- invited talk
- security properties
- intelligent systems
- process algebra
- object oriented
- real world
- formal specification language
- machine learning