2009
Report
Open Access
Designing UML models with UMC
Mazzanti F.
Design Tools and Techniques 68N30 UMC model checking verification
Guida al disegno di modelli UML per il tools UMC v3.6
Source: ISTI Technical reports, 2009
Back to previous page
BibTeX entry
@techreport{oai:it.cnr:prodotti:161078,
title = {Designing UML models with UMC},
author = {Mazzanti F.},
institution = {ISTI Technical reports, 2009},
year = {2009}
}CNR authorsLaboratories
0000-0003-4562-8777