Preface

Chapter
Publication Date:
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.
Iris type:
02.02 Prefazione/Postfazione
Keywords:
Critical Systems; Formal Methods; Automated Verification
List of contributors:
Authors of the University:
Handle:
https://iris.cnr.it/handle/20.500.14243/428780
Full Text:
Book title:
Critical Systems: Formal Methods and Automated Verification