دانلود کتاب Formal Techniques for Safety-Critical Systems: 4th International Workshop, FTSCS 2015, Paris, France, November 6-7, 2015. Revised Selected Papers
by Cyrille Artho
|
عنوان فارسی: تکنیک های رسمی برای سیستم ایمنی بحرانی : 4 کارگاه آموزشی بین المللی ، FTSCS 2015 ، پاریس، فرانسه ، نوامبر 6-7، 2015. تجدید نظر مقالات انتخاب شده |