دانلود کتاب Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings
by Frédéric Lang
|
عنوان فارسی: روش رسمی برای سیستم های بحرانی صنعتی: 19 کنفرانس بین المللی، FMICS 2014، فلورانس، ایتالیا، 11-12 سپتامبر، 2014. مجموعه مقالات |