Login / Signup
Temporal validation of Real Time multitasking applications based on communicating timed automata.
Mostefa Belarbi
Jean-Philippe Babau
Jean-Jacques Schwarz
Published in:
FDL (2004)
Keyphrases
</>
real time
timed automata
real time systems
spatio temporal
spatial and temporal
reachability analysis
artificial intelligence
low cost
model checking
temporal databases
neural network
temporal information
theorem proving
high speed
distributed systems
model validation