Keyphrases
- real time systems
- formal methods
- real time
- embedded systems
- formal analysis
- model checking
- artificial intelligence
- safety critical
- knowledge based systems
- distributed systems
- real time database systems
- formal specification
- mission critical
- software engineering
- process algebra
- development lifecycle
- reactive systems
- real time embedded
- fine grained