Joao G. Packer

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Embedded Real Time Systems

Top Venues

ACM SIGOPS Oper. Syst. Rev.

Publications

Marco A. Wehrmeister, Joao G. Packer, Luis M. Ceron
Support for early verification of embedded real-time systems through UML models simulation. ACM SIGOPS Oper. Syst. Rev. 46 (1) (2012)
Marco A. Wehrmeister, Joao G. Packer, Luis M. Ceron
Framework to Simulate the Behavior of Embedded Real-Time Systems Specified in UML Models. SBESC (2011)