Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Programming and Software Engineering, Band 12863) - Softcover

 
9783030852474: Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Programming and Software Engineering, Band 12863)
Softcover
ISBN 10: 3030852474 ISBN 13: 9783030852474
Verlag: Springer, 2021

Inhaltsangabe

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.

The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2021
Sprache
Englisch
ISBN 10 
3030852474
ISBN 13 
9783030852474
Einband
Taschenbuch
Auflage
1
Anzahl der Seiten
264
Herausgeber
Lluch Lafuente Alberto, Mavridou Anastasia
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland