Behavior verification of hybrid real-time requirements by qualitative formalism.
Jang-Soo LeeSung Deok ChaPublished in: RTCSA (1997)
Keyphrases
- real time
- real time systems
- qualitative simulation
- timing constraints
- low cost
- high speed
- quantitative and qualitative
- qualitative spatial
- behavior patterns
- functional requirements
- formal model
- qualitative and quantitative
- data acquisition
- knowledge representation
- face verification
- physical systems
- model checking
- knowledge base