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.)…
System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
- takbook
- سایر محصولات
- 4th ژانویه 2018
- بدون نظر
System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings
Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher (eds.)…