Gorm Larsen / Rozier

Formal Methods for Industrial Critical Systems

31st International Conference, FMICS 2026, Liverpool, UK, September 3–4, 2026, Proceedings

Springer

ISBN 978-3-032-36848-5

Standardpreis

ca. 70,61 €

Jetzt vorbestellen! Wir liefern bei Erscheinen (Erscheint vsl. Oktober 2026)

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

Bibliografische Daten

Fachbuch

Buch. Softcover

2026

54 Farbabbildungen.

In englischer Sprache

Umfang: v, 158 S.

Format (B x L): 15,5 x 23,5 cm

Verlag: Springer

ISBN: 978-3-032-36848-5

Weiterführende bibliografische Daten

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science

Produktbeschreibung

This book constitutes the refereed proceedings of the 31st International Conference on Formal Methods for Industrial Critical Systems, FMICS 2026, held in Liverpool, UK, during September 3–4, 2026. The 8 full papers included in this book together with two invited papers were carefully reviewed and selected from 34 submissions. The papers deal with developments and applications of formal methods in Industrial Critical Systems.

Autorinnen und Autoren

Produktsicherheit

Hersteller

Springer Nature Customer Service Center GmbH

Europaplatz 3
69115 Heidelberg, DE

ProductSafety@springernature.com

Topseller & Empfehlungen für Sie

Ihre zuletzt angesehenen Produkte