ter Beek / Knapp / Gnesi | Critical Systems: Formal Methods and Automated Verification | Buch | 978-3-319-45942-4 | sack.de

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

Reihe: Programming and Software Engineering

ter Beek / Knapp / Gnesi

Critical Systems: Formal Methods and Automated Verification

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
1. Auflage 2016
ISBN: 978-3-319-45942-4
Verlag: Springer International Publishing

Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings

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

Reihe: Programming and Software Engineering

ISBN: 978-3-319-45942-4
Verlag: Springer International Publishing

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 Automated Verification of Critical Systems, FMICS-AVoCS 2016, held in Pisa, Italy, in September 2016.The 11 full papers and 4 short papers presented together with one invited talk were carefully reviewed and selected from 24 submissions. They are organized in the following sections: automated verification techniques; model-based system analysis; and applications and case studies.
ter Beek / Knapp / Gnesi Critical Systems: Formal Methods and Automated Verification jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Ter Beek, Maurice H.
Knapp, Alexander
Gnesi, Stefania

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.