Formal Techniques for Safety-Critical Systems: 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers by Cyrille Artho, Peter Csaba Ölveczky
English | 2017 | ISBN: 3319539450 | 161 Pages | PDF | 7.8 MB
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.