Gå direkte til innholdet
Formal Methods for Industrial Critical Systems
Spar

Formal Methods for Industrial Critical Systems

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.

Undertittel
26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings
Opplag
1st ed. 2021
ISBN
9783030852474
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
10.8.2021
Antall sider
249