Formal Techniques for Safety-Critical Systems
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Szerző:
Cyrille Artho, Peter Csaba Ölveczky
Elérhetőség:
Beszállítói készleten
Küldés 5-8 napon belül
19 794
Ft
This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, hel...
