Preface: special issue on NASA Formal Methods Symposium 2010.
César A. MuñozPublished in: Innov. Syst. Softw. Eng. (2011)
Keyphrases
- special issue
- formal methods
- artificial intelligence
- international workshop
- computer science
- selected papers
- formal analysis
- safety critical
- software engineering
- knowledge based systems
- model checker
- ecml pkdd
- ai edam
- formal specification
- model checking
- applied intelligence
- process algebra
- international journal
- development lifecycle
- special section
- invited talk
- information systems
- international conference
- expert systems
- reactive systems
- case study