Logo
DE | FR
Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
juillet 2019, env. 161 pages, Programming and Software Engineering, Lecture Notes in Computer Science, Anglais
Springer EN
978-3-030-27007-0

Autres titres de la collection: Programming and Software Engineering

Afficher tout

Autres titres sur ce thème