Paper

Formal Verification of UML Sequence Diagrams in the Embedded Systems Context

CUNHA, E. G. ; CUSTODIO, M. M. ; ROCHA, H. O. ; BARRETO, R. S. . Formal Verification of UML Sequence Diagrams in the Embedded Systems Context. In: II Workshop de Sistemas Embarcados., 2011, Florianópolis. Workshop de Sistemas Embarcados (WSE 2011) - Simpósio Brasileiro de Engenharia de Sistemas Computacionais (SBESC), 2011. p. 39-45.

2011

Created by Lattes PostCaptcha Importer at 2018-05-31 17:28:19.0.
Simplified Graph of Associations
Quid