Checking Temporal Duration Properties of Timed Automata.

Yong Li Dang Van Hung

Published in: J. Comput. Sci. Technol. (2002)

Keyphrases

timed automata
spatio temporal
temporal information
temporal properties
temporal characteristics
low cost
space time
structural properties
desirable properties
topological properties
temporal evolution
real world
spatial and temporal
temporal constraints
theorem proving
temporal relations
temporal dimension