Formal Techniques for Safety-Critical Systems 1

Data & IT

Formal Techniques for Safety-Critical Systems

Cyrille Artho • Peter Csaba Ölveczky

Pocket

749:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

Uppskattad leveranstid 10-16 arbetsdagar

Fri frakt för medlemmar vid köp för minst 249:-

Andra format:

Pocket/Paperback 749:-
Pocket/Paperback 749:-
Pocket/Paperback 749:-
Pocket/Paperback 749:-
Visa fler Visa färre

161 sidor
2017

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 onspecification and verification;automotive and railway systems;circuits and cyber-physical systems;parametrized verification.

Författare: Cyrille Artho, Peter Csaba Ölveczky
Format: Pocket/Paperback
ISBN: 9783319539454
Språk: Engelska
Antal sidor: 161
Utgivningsdatum: 2017-02-16
Förlag: Springer International Publishing AG