Formal Methods for Industrial Critical Systems

Name: Formal Methods for Industrial Critical Systems
Brand: Springer International Publishing AG
SKU: 9783031150074
Price: 73.63 EUR
Availability: InStock

27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Автор: Jan Friso Groote, Marieke Huisman

Език:

Корици: С меки корици

Издател: Springer International Publishing AG

Наличност: Външен склад

Изпращаме след 5-8 дни

73.63 € 144.00 лв

This book constitutes the proceedings of the 27th International Conference on Formal Methods for Ind...

Информация за книгата

Автор

Jan Friso Groote, Marieke Huisman

Език

Английски език

Корици

Книга - С меки корици

Издадена

2022

страници

245

EAN

9783031150074

Enbook ID

39504765

Издател

Springer International Publishing AG

Теглоt

397

Размери

155 x 235 x 15

Пълно описание

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.

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Най-често търсени

Categories

Authors

Publishers

Продукти

Продукти

Formal Methods for Industrial Critical Systems

27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings

Информация за книгата

Пълно описание

Може също да ви хареса

Клиенти, които купиха тази книга, купиха също