Login / Signup

Timed Behavior Trees and Their Application to Verifying Real-Time Systems.

Lars GrunskeKirsten WinterRobert 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