This volume contains the papers presented at the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS), which was held in Pisa, Italy, September 26-28, 2016. FMICS-AVoCS 2016 combines the 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems.
Preface
ter Beek M H;Gnesi S;
2016-01-01
Abstract
This volume contains the papers presented at the International Workshop on Formal Methods for Industrial Critical Systems and Automated Verification of Critical Systems (FMICS-AVoCS), which was held in Pisa, Italy, September 26-28, 2016. FMICS-AVoCS 2016 combines the 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verification of Critical Systems.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
prod_443067-doc_159128.pdf
accesso aperto
Descrizione: Critical Systems: Formal Methods and Automated Verification
Tipologia:
Versione Editoriale (PDF)
Dimensione
434.51 kB
Formato
Adobe PDF
|
434.51 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.