Report on the 10th edition of the FMICS international workshop held in Lisbon in 2005.
FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems
Massink M;
2006
Abstract
Report on the 10th edition of the FMICS international workshop held in Lisbon in 2005.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_68327-doc_130033.pdf
accesso aperto
Descrizione: FMICS 2005 - 10th International Workshop on Formal Methods in SAfety Critical Systems
Tipologia:
Versione Editoriale (PDF)
Dimensione
206.9 kB
Formato
Adobe PDF
|
206.9 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
