Publication Date:
2001
abstract:
An abstract is not available.
Iris type:
01.01 Articolo in rivista
Keywords:
Dependability analysis; Validation and verification; UML; Model transformation
List of contributors:
Bondavalli, Andrea; Latella, Diego
Published in: