Polyhedra-Based Approach for Incremental Validation of Real-Time Systems.

David Doose Zoubir Mammeri

Published in: EUC (2005)

Keyphrases

real time systems
real time
distributed systems
embedded systems
mission critical
timing constraints
special case
real time database systems
low cost
object oriented programming language
architectural model
web services
database systems
petri net
anytime algorithms