Formal Methods and Open Systems.
Andrew M. GravellChris H. PrattenPublished in: Softw. Concepts Tools (1995)
Keyphrases
- formal methods
- open systems
- autonomous agents
- knowledge based systems
- safety critical
- multiagent systems
- model checking
- formal specification
- artificial intelligence
- software engineering
- cognitive agents
- modeling language
- development lifecycle
- mobile communication
- machine learning
- query language
- database systems
- formal specification language
- open multiagent systems