Verifying Real-Time Systems against Scenario-Based Requirements.

Kim Guldstrand Larsen Shuhao Li Brian Nielsen Saulius 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