Static and dynamic analysis of real-time systems.
Wael M. ElseaidyPublished in: ACM Southeast Regional Conference (1992)
Keyphrases
- dynamic analysis
- real time systems
- static analysis
- reverse engineering
- real time
- embedded systems
- distributed systems
- real time database systems
- object oriented programming language
- architectural model
- model checking
- source code
- mission critical
- anytime algorithms
- concurrency control
- object oriented
- timing constraints
- training set
- databases