Login / Signup
A tlm-based platform to specify and verify component-based real-time systems.
Mostafavi Amjad Davoud
Mina Zolfy Lighvan
Published in:
CoRR (2014)
Keyphrases
</>
real time systems
real time embedded
real time
distributed systems
real time database systems
embedded systems
mission critical
timing constraints
architectural model
object oriented
distributed databases
embedded real time systems