Keyphrases
- formal methods
- real time systems
- real time
- knowledge based systems
- distributed systems
- software engineering
- formal analysis
- embedded systems
- real time database systems
- formal specification
- safety critical
- timing constraints
- process algebra
- real time embedded
- artificial intelligence
- mission critical
- model checking
- formal specification language
- object oriented programming language
- expert systems
- architectural model
- development lifecycle
- high level
- knowledge base
- information systems
- databases