Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
- takbook
- سایر محصولات
- 14th ژانویه 2018
- بدون نظر
Formal Techniques for Safety-Critical Systems: Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers
Cyrille Artho, Peter Csaba Ölveczky (eds.)…
به نکات زیر توجه کنید