This book constitutes the proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2015, Oslo, Norway, in June 2015.The 12 papers presented in this volume were carefully reviewed and selected from 20 submissions. They are organized in topical sections: applications; protocols; specification and analysis; verification.
€51.16
قائمة المحتويات
Applications.- Protocols.- Specification and analysis.- Verification.
قم بشراء هذا الكتاب الإلكتروني واحصل على كتاب آخر مجانًا!
لغة الإنجليزية ● شكل PDF ● صفحات 213 ● ISBN 9783319194585 ● محرر Manuel Núñez & Matthias Güdemann ● الناشر Springer International Publishing ● مدينة Cham ● بلد CH ● نشرت 2015 ● للتحميل 24 الشهور ● دقة EUR ● هوية شخصية 4456083 ● حماية النسخ DRM الاجتماعية
المزيد من الكتب الإلكترونية من نفس المؤلف (المؤلفين) / محرر
2٬814 كتب إلكترونية في هذه الفئة
