Tallenna
Formal Techniques for Safety-Critical Systems
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 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions.
- Alaotsikko
- 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
- Toimittaja
- Cyrille Artho, Peter Csaba Ölveczky
- Painos
- 1st ed. 2017
- ISBN
- 9783319539454
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 16.2.2017
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 161
