Login / Signup

Support for early verification of embedded real-time systems through UML models simulation.

Marco A. WehrmeisterJoao G. PackerLuis 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