Login / Signup
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