Filter
Sökt på: Sökresultat
Filter
totalt 2 träffar
Formal Methods for Industrial Critical Systems
häftad,
2020,
Engelska,
ISBN 9783030582975
This book constitutes the proceedings of the 25th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2020, which was held during September 2-3, 2020. …
Critical Systems: Formal Methods and Automated Verification
häftad,
2016,
Engelska,
ISBN 9783319459424
This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on …