دانلود کتاب Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
by Alessio Ferrari
|
عنوان فارسی: روش رسمی برای سیستم های بحرانی صنعتی: 15 بین المللی کارگاه، FMICS 2010، آنتورپ، بلژیک، 20-21 سپتامبر، 2010. مجموعه مقالات |