2000
Conference article
Unknown
Formal validation of UML statechart diagrams models.
Latella D., Gnesi S., Massink M.
UML statechart diagrams Software/program verification. Formal methods
An abstract is not available.
Source: Dynamic Behaviour in UML Models: Semantic Questions Workshop, pp. 50–57, Universitat Munchen, Oktober 2000
Back to previous page
BibTeX entry
@inproceedings{oai:it.cnr:prodotti:406649,
title = {Formal validation of UML statechart diagrams models.},
author = {Latella D. and Gnesi S. and Massink M.},
booktitle = {Dynamic Behaviour in UML Models: Semantic Questions Workshop, pp. 50–57, Universitat Munchen, Oktober 2000},
year = {2000}
}
0000-0002-0139-0421CNR ExploRA