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

Destek

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
Ödeme metodları
Bu e-kitabı satın alın ve 1 tane daha ÜCRETSİZ kazanın!
Dil İngilizce ● Biçim EPUB ● ISBN 9783030852481 ● Editör Alberto Lluch Lafuente & Anastasia Mavridou ● Yayımcı Springer International Publishing ● Yayınlanan 2021 ● İndirilebilir 3 kez ● Döviz EUR ● Kimlik 8086013 ● Kopya koruma Adobe DRM
DRM özellikli bir e-kitap okuyucu gerektirir

Aynı yazardan daha fazla e-kitap / Editör

3.693 Bu kategorideki e-kitaplar