Timed I/O automata: a complete specification theory for real-time systems.
Alexandre DavidKim G. LarsenAxel LegayUlrik NymanAndrzej WasowskiPublished in: HSCC (2010)
Keyphrases
- real time systems
- timed automata
- real time
- distributed systems
- reactive systems
- formal languages
- real time database systems
- embedded systems
- query language
- object oriented programming language
- database
- timing constraints
- mission critical
- finite state machines
- regular expressions
- input output
- database management systems
- high level
- formal methods
- main memory
- petri net
- multi agent
- architectural model
- real time embedded
- artificial intelligence