دانلود کتاب Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings
by Martin Fränzle, Nicolas Markey (eds.)
|
عنوان فارسی: مدل سازی رسمی و تجزیه و تحلیل سیستم های زمان بندی: چهاردهمین کنفرانس بین المللی، FORMATS 2016، کبک، QC، کانادا، 24-26 اوت 2016، پرونده ها |