ter Beek / Gnesi / Knapp | Critical Systems: Formal Methods and Automated Verification | E-Book | sack.de
E-Book

E-Book, Englisch, Band 9933, 247 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ter Beek / Gnesi / Knapp 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-45943-1
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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

E-Book, Englisch, Band 9933, 247 Seiten, eBook

Reihe: Lecture Notes in Computer Science

ISBN: 978-3-319-45943-1
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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 / Gnesi / Knapp Critical Systems: Formal Methods and Automated Verification jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

ter Beek, Maurice H.
Gnesi, Stefania
Knapp, Alexander
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.