Skip to main content
Username
*
Password
*
Forgot Password?
F.LI.T.
(Formal LIght-weight Tools)
Main menu
Publications
Publications
Navigation
Publications
You are here
Home
Static Verification of UML Model Consistency
A. Baruzzo
and
Comini, M.
,
“
Static Verification of UML Model Consistency
”
,
MoDeV{$^2$}a: Model Development, Validation and Verification
. University of Queensland, pp. 111–126, 2006.
Google Scholar
BibTex
Google Scholar
BibTex
