Sign in

Scenario-based analysis and synthesis of real-time systems using uppaal.

Kim Guldstrand LarsenShuhao LiBrian NielsenSaulius Pusinskas
Published in: DATE (2010)
Keyphrases
  • object oriented
  • real time systems
  • software engineering
  • real time
  • machine learning
  • timed automata