Login / Signup
E. Cunha
Publication Activity (10 Years)
Years Active: 2011-2011
Publications (10 Years): 0
</>
Publications
</>
Elisabete Cunha
,
Marcelo Custódio
,
Herbert Rocha
,
Raimundo S. Barreto
Formal Verification of UML Sequence Diagrams in the Embedded Systems Context.
SBESC
(2011)