Proceedings First International Workshop on Formal Techniques for Safety-Critical Systems

Peter Csaba Ölveczky, Cyrille Artho

This volume contains the proceedings of the First International Workshop of Formal Techniques for Safety-Critical Systems (FTSCS 2012), held in Kyoto on November 12, 2012, as a sat…