Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems
- takbook
- سایر محصولات
- 15th ژانویه 2018
- بدون نظر
Reliability and Risk Issues in Large Scale Safety-critical Digital Control Systems
Jong Gyun Choi, Poong Hyun Seong (auth.), Poong Hyun Seong (eds.)…
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.)…
Reliability of Safety-Critical Systems: Theory and Applications
- takbook
- سایر محصولات
- 12th ژانویه 2018
- بدون نظر
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29–30, 2013. Revised Selec
- takbook
- سایر محصولات
- 6th ژانویه 2018
- بدون نظر
Formal Techniques for Safety-Critical Systems: Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29–30, 2013. Revised Selec
Cyrille Artho, Peter Csaba Ölveczky (eds.)…