Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Formal Techniques for Safety-Critical Systems
CHF 71.95
Auf Lager
SKU
S8MEGKNC7Q3
1 Verfügbar 
Geliefert zwischen Do., 29.01.2026 und Fr., 30.01.2026
Details
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.
Includes supplementary material: sn.pub/extras
Inhalt
Specification and verification.- Automotive and railway systems.- Circuits and cyber-physical systems.- Parametrized verification.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783319539454
- Genre Information Technology
- Auflage 1st ed. 2017
- Editor Cyrille Artho, Peter Csaba Ölveczky
- Lesemotiv Verstehen
- Anzahl Seiten 161
- Größe H10mm x B158mm x T237mm
- Jahr 2017
- EAN 9783319539454
- Format Kartonierter Einband
- ISBN 978-3-319-53945-4
- Titel Formal Techniques for Safety-Critical Systems
- Untertitel 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
- Gewicht 290g
- Herausgeber Springer
- Sprache Englisch
Bewertungen
Schreiben Sie eine Bewertung
