Login / Signup
Timed Behavior Trees and Their Application to Verifying Real-Time Systems.
Lars Grunske
Kirsten Winter
Robert Colvin
Published in:
ASWEC (2007)
Keyphrases
</>
real time systems
real time
timed automata
petri net
decision trees
distributed systems
tree structure
embedded systems
real time embedded