Gorm Larsen / Rozier | Formal Methods for Industrial Critical Systems | Buch | 978-3-032-36848-5 | www.sack.de

Buch, Englisch, Format (B × H): 155 mm x 235 mm

Reihe: Lecture Notes in Computer Science

Gorm Larsen / Rozier

Formal Methods for Industrial Critical Systems

31st International Conference, FMICS 2026, Liverpool, UK, September 3–4, 2026, Proceedings
Erscheinungsjahr 2026
ISBN: 978-3-032-36848-5
Verlag: Springer

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

Buch, Englisch, Format (B × H): 155 mm x 235 mm

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-032-36848-5
Verlag: Springer

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.

Gorm Larsen / Rozier Formal Methods for Industrial Critical Systems jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Gorm Larsen, Peter
Rozier, Kristin Yvonne

Fachgebiete

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.