Timed traces and their applications in specification and verification of distributed real-time systems.
Do Van ChieuDang Van HungPublished in: SoICT (2012)
Keyphrases
- real time systems
- distributed systems
- timed automata
- real time embedded
- mission critical
- model checking
- colored petri nets
- formal verification
- real time
- real time database systems
- reactive systems
- distributed environment
- petri net
- protocol specification
- timing constraints
- formal specification
- formal methods
- embedded systems
- mobile agents
- object oriented programming language
- asynchronous circuits
- high level
- temporal logic
- computational intelligence
- architectural model
- cooperative
- case study
- artificial intelligence