Temporal Reasoning About Real Time Reactive Systems.

Ji Wang Huowang Chen

Published in: IWAR (1992)

Keyphrases

reactive systems
real time
real time systems
spatio temporal
temporal data
spatial and temporal
model checking
temporal reasoning
temporal constraints
distributed systems
information flow
temporal patterns
formal methods
open source
software engineering
control system
natural language
information systems
databases