Specification and Verification of Polling Real-Time Systems.
Henning DierksPublished in: Ausgezeichnete Informatikdissertationen (1999)
Keyphrases
- formal specification
- formal methods
- software engineering
- real time database systems
- relational databases
- real time
- timing constraints
- artificial intelligence
- software systems
- low cost
- formal verification
- anytime algorithms
- mission critical
- object oriented programming language
- distributed systems
- asynchronous circuits
- real time systems
- protocol specification
- embedded real time systems
- temporal logic
- model checking
- real time embedded
- concurrent systems
- embedded systems
- architectural model
- cooperative
- real time databases
- specification language
- learning automata
- reactive systems