Login / Signup
Support for early verification of embedded real-time systems through UML models simulation.
Marco A. Wehrmeister
Joao G. Packer
Luis M. Ceron
Published in:
ACM SIGOPS Oper. Syst. Rev. (2012)
Keyphrases
</>
uml models
knowledge management
database
low level
low cost
model checking
embedded real time systems