![[ACM Press the 22nd Annual Symposium - Natal, Brazil (2009.08.31-2009.09.03)] Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design Chip on the Dunes - SBCCI '09 - Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams]()
[ACM Press the 22nd Annual Symposium - Natal, Brazil (2009.08.31-2009.09.03)] Proceedings of the 22nd Annual Symposium on Integrated Circuits and System Design Chip on the Dunes - SBCCI '09 - Using MDE for the formal verification of embedded systems modeled by UML sequence diagramsdo Nascimento, Francisco Assis M.; da Silva Oliveira, Marcio F.; Wagner, Flávio R. · 2009