Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems
Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems.
M Massink
2005
Abstract
Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical SystemsFile in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_190083-doc_127673.pdf
non disponibili
Descrizione: Proceedings of the Tenth International Workshop on Formal Methods for Industrial Critical Systems.
Tipologia:
Versione Editoriale (PDF)
Dimensione
783.08 kB
Formato
Adobe PDF
|
783.08 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
