IF-2.0: A Validation Environment for Component-Based Real-Time Systems.

Marius Bozga Susanne Graf Laurent Mounier

Published in: CAV (2002)

Keyphrases

real time systems
real time
distributed systems
reactive systems
mission critical
mobile robot
real time database systems
object oriented programming language
embedded systems
timing constraints
database
artificial intelligence