سیستم های صنعتی

عنوان کتاب: Formal Methods for Industrial Critical Systems/ 27th International Conference, FMICS 2022 نویسنده/انتشارات: Jan Friso Groote, Marieke Huisman حوزه: مهندسی صنایع سال انتشار: 2022 تعداد صفحه: 246 زبان اصلی: انگلیسی نوع فایل: pdf حجم فایل: ادامه مطلب