Sign in

Verifying Real-Time Systems against Scenario-Based Requirements.

Kim Guldstrand LarsenShuhao LiBrian NielsenSaulius Pusinskas
Published in: FM (2009)
Keyphrases
  • real time systems
  • real time
  • timing constraints
  • embedded systems
  • distributed systems
  • real time database systems
  • object oriented programming language
  • mission critical
  • artificial intelligence
  • cooperative