Login / Signup
Temporal Verification of Real-Time Multitasking Application Properties Based on Communicating Timed Automata.
Mostefa Belarbi
Jean-Philippe Babau
Jean-Jacques Schwarz
Published in:
DS-RT (2004)
Keyphrases
</>
real time
model checking
timed automata
temporal properties
spatio temporal
low cost
spatial and temporal
real time systems
temporal information
artificial intelligence
moving objects
space time
desirable properties
temporal databases
verification method