Alberto Lluch Lafuente & Anastasia Mavridou 
Formal Methods for Industrial Critical Systems [EPUB ebook] 
26th International Conference, FMICS 2021, Paris, France, August 24-26, 2021, Proceedings

поддержка

This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021. The conference was planned to take place in Pairs, France. Due to the COVID-19 pandemic it changed to a virtual event.The 10 full papers and 6 short papers presented in this volume were carefully reviewed and selected from 31 submissions. The papers are organized in topical sections as follows: Verification, Program Safety and Education, (Event-)B Modeling and Validation, Formal Analysis, Tools, Test Generation and Probabilistic Verification.

€57.82
Способы оплаты
Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!
язык английский ● Формат EPUB ● ISBN 9783030852481 ● редактор Alberto Lluch Lafuente & Anastasia Mavridou ● издатель Springer International Publishing ● опубликованный 2021 ● Загружаемые 3 раз ● валюта EUR ● Код товара 8086013 ● Защита от копирования Adobe DRM
Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

3 695 Электронные книги в этой категории