Salaün / Schätz | Formal Methods for Industrial Critical Systems | Buch | 978-3-642-24430-8 | sack.de

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

Reihe: Programming and Software Engineering

Salaün / Schätz

Formal Methods for Industrial Critical Systems


16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings

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

Reihe: Programming and Software Engineering

ISBN: 978-3-642-24430-8
Verlag: Springer

This book constitutes the proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2011, held in Trento, Italy, in August 2011.
The 16 papers presented together with 2 invited talks were carefully reviewed and selected from 39 submissions. The aim of the FMICS workshop series is to provide a forum for researchers who are interested in the development and application of formal methods in industry. It also strives to promote research and development for the improvement of formal methods and tools for industrial applications.
Salaün / Schätz Formal Methods for Industrial Critical Systems jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Salaün, Gwen
Schätz, 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.