Region Encoding Diagram for Fully Symbolic Verification of Real-Time Systems.
Farn WangPublished in: COMPSAC (2000)
Keyphrases
- real time systems
- real time
- real time database systems
- timing constraints
- distributed systems
- mission critical
- state transition
- model checking
- embedded systems
- input image
- real time embedded
- high level
- architectural model
- region of interest
- symbolic representation
- software engineering
- multi agent systems
- cooperative
- artificial intelligence