Login / Signup
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
Marcello M. Bersani
Carlo A. Furia
Matteo Pradella
Matteo Rossi
Published in:
CoRR (2009)
Keyphrases
</>
real time systems
distributed systems
real time
integrating multiple
embedded real time systems
object oriented
low cost
object oriented programming language
cooperative
multi agent systems
response time
embedded systems
mission critical
anytime algorithms
colored petri nets