دانلود کتاب Formal Modeling and Analysis of Timed Systems: 9th International Conference, FORMATS 2011, Aalborg, Denmark, September 21-23, 2011. Proceedings
by Jean-Francois Kempf
|
عنوان فارسی: مدلسازی رسمی و تجزیه و تحلیل سیستم به پایان رسیده: 9 کنفرانس بین المللی، فرمت های 2011، آلبورگ، دانمارک، سپتامبر 21-23، 2011. مجموعه مقالات |