Diagrammatic Specification and Verification of Mobile Real-Time Systems.
Sven LinkerPublished in: AlgoSyn (2010)
Keyphrases
- real time systems
- formal verification
- reactive systems
- real time
- asynchronous circuits
- formal methods
- embedded systems
- distributed systems
- model checking
- protocol specification
- mobile devices
- mobile computing
- timing constraints
- real time embedded
- object oriented programming language
- mobile users
- mobile phone
- architectural model
- real time database systems
- cognitive processes
- software engineering
- data model