You are here

Publications

Export 1 results:
Filters: Keyword is UML diagrams and Author is Marco Comini  [Clear All Filters]
2006
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.