Special issue: 2nd World Congress on Formal Methods.
Ana CavalcantiDennis DamsPublished in: Formal Methods Syst. Des. (2010)
Keyphrases
- formal methods
- special issue
- formal analysis
- ecml pkdd
- formal specification
- international journal
- model checking
- safety critical
- artificial intelligence
- ai edam
- knowledge based systems
- applied intelligence
- software engineering
- model checker
- modeling language
- special section
- process algebra
- databases
- fuzzy logic
- computer science
- data mining