Francisco Assis M. do Nascimento, Marcio F. da S. Oliveira, Flávio Rech Wagner. Using MDE for the formal verification of embedded systems modeled by UML sequence diagrams. In Ivan Saraiva Silva, Renato Perez Ribas, Calvin Plett, editors, Proceedings of the 22st Annual Symposium on Integrated Circuits and Systems Design: Chip on the Dunes, SBCCI 2009, Natal, Brazil, August 31 - September 03, 2009. ACM, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.