Login / Signup
Flávio Fernandes
Publication Activity (10 Years)
Years Active: 2014-2014
Publications (10 Years): 0
Top Topics
Class Diagram
Unified Modeling Language
Uml Profile
Object Oriented Systems
Top Venues
J. Softw.
</>
Publications
</>
Flávio Fernandes
,
Mark A. J. Song
UML-Checker: An Approach for Verifying UML Behavioral Diagrams.
J. Softw.
9 (5) (2014)