|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Formal Techniques for Safety-Critical Systems
5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9783319539461
Veröffentl:
2017
Seiten:
161
Autor:
Cyrille Artho
Serie:
694, Communications in Computer and Information Science
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Beschreibung:
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.
Specification and verification.- Automotive and railway systems.- Circuits and cyber-physical systems.- Parametrized verification.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
