1 Ebooks by Peter Ölveczky
Cyrille Artho & Peter Ölveczky: Formal Techniques for Safety-Critical Systems
This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The 14 revised f …
PDF
English
€59.49
