Simulation-Checking of Real-Time Systems with Fairness Assumptions

Published in: CoRR (2010)

Keyphrases

real time systems
real time
distributed systems
embedded systems
mission critical
timing constraints
real time database systems
resource allocation
simulation model
object oriented programming language
multi agent systems
computational intelligence
architectural model