دانلود کتاب Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008. Proceedings
by Joël Ouaknine
|
عنوان فارسی: مدل های رسمی و تجزیه و تحلیل سیستم زمان بندی شده: 6 کنفرانس بین المللی، فرمت های 2008، سنت مالو، فرانسه، 15-17 سپتامبر، 2008. مجموعه مقالات |