Ölveczky / Artho | Formal Techniques for Safety-Critical Systems | Buch | 978-3-319-53945-4 | sack.de

Buch, Englisch, Band 694, 161 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 2759 g

Reihe: Communications in Computer and Information Science

Ölveczky / Artho

Formal Techniques for Safety-Critical Systems

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
1. Auflage 2017
ISBN: 978-3-319-53945-4
Verlag: Springer International Publishing

5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers

Buch, Englisch, Band 694, 161 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 2759 g

Reihe: Communications in Computer and Information Science

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

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.

The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.

Ölveczky / Artho Formal Techniques for Safety-Critical Systems jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Ölveczky, Peter Csaba
Artho, Cyrille

Fachgebiete

Weitere Infos & Material

Specification and verification.- Automotive and railway systems.- Circuits and cyber-physical systems.- Parametrized verification.

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.