Gå direkt till innehållet
Formal Methods for Industrial Critical Systems
Spara

Formal Methods for Industrial Critical Systems

Lägsta pris på PriceRunner

This book constitutes the proceedings of the 29th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2024, held in Milan, Italy, during September 9–13, 2024.

The 14 full papers included in this book were carefully reviewed and selected from 22 submissions.

Undertitel
29th International Conference, FMICS 2024, Milan, Italy, September 9–11, 2024, Proceedings
Upplaga
2024 ed.
ISBN
9783031681493
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2024-08-21
Sidor
260