Remke / Steffen | Formal Methods for Industrial Critical Systems | Buch | 978-3-032-00941-8 | www.sack.de

Buch, Englisch, 297 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 470 g

Reihe: Lecture Notes in Computer Science

Remke / Steffen

Formal Methods for Industrial Critical Systems

30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings
Erscheinungsjahr 2025
ISBN: 978-3-032-00941-8
Verlag: Springer

30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Buch, Englisch, 297 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 470 g

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-032-00941-8
Verlag: Springer

This book constitutes the proceedings of the 30th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2025, held in Aarhus, Denmark, during August 27–28, 2025.
The 13 full papers included in this book together with 2 invited papers were carefully reviewed and selected from 25 submissions. The papers have been organized in the following topical sections: verification; automotive and railway; cyber-physical systems; and embedded systems

Remke / Steffen Formal Methods for Industrial Critical Systems jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Remke, Anne
Steffen, Bernhard

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.