Formal Modeling and Verification of Cyber-Physical Systems : 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2015
نویسنده
Rolf Drechsler; Ulrich Kühneشابک
978-3-658-09993-0
کتاب های مرتبط
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران