Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sect......
fra 749,-
Tilgjengelig i 1 butikker

Produktinformasjon

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2022, which took place in Warsaw, Poland, in September 2022. The 13 full papers included in this book were carefully reviewed and selected from 22 submissions. They were organized in topical sections as follows: Certification; industrial use cases; testing and monitoring; and methodology.

Spesifikasjon

Produkt
ProduktnavnFormal Methods for Industrial Critical Systems
MerkeOther Brand
book typData og informasjonsteknologi

Pris og prishistorikk

Akkurat nå er 749,- den billigste prisen for Formal Methods for Industrial Critical Systems blant 1 butikker hos Prisradar. Sjekk også vår topp 5-rangering av beste bøker for å være sikker på at du gjør det beste kjøpet.