STeC: A Location-Triggered Specification Language for Real-Time Systems.
Yixiang ChenPublished in: ISORC Workshops (2012)
Keyphrases
- real time systems
- specification language
- description language
- programming language
- formal specification
- real time
- embedded systems
- distributed systems
- mission critical
- object oriented
- real time database systems
- databases
- anytime algorithms
- timing constraints
- model checking
- fine grained
- relational databases
- database systems
- architectural model