Formal validation of UML statechart diagrams models.

Conference Paper
Publication Date:
2000
abstract:
An abstract is not available.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
UML statechart diagrams; Software/program verification. Formal methods
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/366181
Full Text: