Specification and verification of mobile real-time systems.
Andreas SchäferPublished in: Ausgezeichnete Informatikdissertationen (2006)
Keyphrases
- object oriented programming language
- formal specification
- distributed systems
- high level
- asynchronous circuits
- formal methods
- real time systems
- protocol specification
- real time database systems
- real time
- model checking
- real time embedded
- timing constraints
- embedded systems
- cooperative
- mobile devices
- low cost
- mobile commerce
- formal verification
- mobile phone
- mobile users
- reactive systems
- open source
- mission critical