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:
SEFM (2009)
Keyphrases
</>
real time systems
distributed systems
integrating multiple
real time
embedded systems
mission critical
embedded real time systems
timing constraints
object oriented programming language
colored petri nets
real time embedded
cooperative
computer science
low cost
fine grained
architectural model