[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

• 作者do Nascimento, Francisco Assis M.; da Silva Oliveira, Marcio F.; Wagner, Flávio R.
• 文件大小404.85KB
• 发表时间2009
• DOI10.1145/1601896.1601962