Fifth International ERCIM Workshop on Formal Methods for Industrial Critical Systems

Edited Book
Publication Date:
2000
abstract:
An abstract is not available
Iris type:
04.08 Curatela di Atti di convegno
Keywords:
Formal methods; Formal description techniques (FDT); Modelling specifications; Verification
List of contributors:
Handle:
https://iris.cnr.it/handle/20.500.14243/427396
Full Text: