A survey of timed automata for the development of real-time systems.
Md Tawhid Bin WaezJürgen DingelKaren RudiePublished in: Comput. Sci. Rev. (2013)
Keyphrases
- real time systems
- timed automata
- embedded real time systems
- real time
- distributed systems
- reachability analysis
- embedded systems
- model checking
- software engineering
- real time database systems
- development process
- theorem prover
- mission critical
- database management systems
- natural language
- architectural model
- multi agent
- case study
- object oriented programming language
- machine learning