دانلود کتاب Formal Modeling and Analysis of Timed Systems: 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings
by Sriram Sankaranarayanan
|
عنوان فارسی: مدل های رسمی و تجزیه و تحلیل سیستم زمان بندی شده در تاریخ: 13th کنفرانس بین المللی، فرمت های 2015، مادرید، اسپانیا، 2-4 سپتامبر، 2015، مجموعه مقالات |