دانلود کتاب Formal Modeling and Analysis of Timed Systems: 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings
by Tarek Abdelzaher (auth.)
|
عنوان فارسی: مدل های رسمی و تجزیه و تحلیل سیستم زمان بندی شده: 8 کنفرانس بین المللی، فرمت های 2010، کلوسترنویبورگ، اتریش، 08-10 سپتامبر، 2010. مجموعه مقالات |