Artho / Ölveczky | Formal Techniques for Safety-Critical Systems | E-Book | sack.de
E-Book

E-Book, Englisch, Band 694, 161 Seiten, eBook

Reihe: Communications in Computer and Information Science

Artho / Ölveczky 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-53946-1
Verlag: Springer International Publishing
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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

E-Book, Englisch, Band 694, 161 Seiten, eBook

Reihe: Communications in Computer and Information Science

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

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.
Artho / Ölveczky Formal Techniques for Safety-Critical Systems jetzt bestellen!

Zielgruppe

Research

Autoren/Hrsg.

Artho, Cyrille
Ölveczky, Peter Csaba

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.