Joao G. Packer

According to our database¹, Joao G. Packer authored at least 2 papers between 2011 and 2012.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2012

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

[BibT_eX]

[DOI]

ACM SIGOPS Oper. Syst. Rev., 2012

2011

Framework to Simulate the Behavior of Embedded Real-Time Systems Specified in UML Models.

[BibT_eX]

[DOI]

Proceedings of the Brazilian Symposium on Computing System Engineering, 2011