دانلود کتاب Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012. Proceedings
by Twan Basten
|
عنوان فارسی: مدل های رسمی و تجزیه و تحلیل سیستم زمان بندی شده: 10 کنفرانس بین المللی، فرمت های 2012، لندن، انگلستان، سپتامبر 18-20، 2012. مجموعه مقالات |