Foreword - FMICS'05 Tenth International Workshop on Formal Methods for Industrial Critical Systems.

Curatela
Data di Pubblicazione:
2005
Abstract:
Foreword of the proceedings of the tenth edition of the International Workshop on Formal Methods for Industrial Critical Systems, Lisbon, 2005
Tipologia CRIS:
04.08 Curatela di Atti di convegno
Keywords:
Formal Methods
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/166669
Link al Full Text: