Preface

Capitolo di libro
Data di Pubblicazione:
2016
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.
Tipologia CRIS:
02.02 Prefazione/Postfazione
Keywords:
Critical Systems; Formal Methods; Automated Verification
Elenco autori:
Autori di Ateneo:
Link alla scheda completa:
https://iris.cnr.it/handle/20.500.14243/428780
Link al Full Text:
Titolo del libro:
Critical Systems: Formal Methods and Automated Verification