Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings / edited by Jan Friso Groote, Marieke Huisman
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: Lecture Notes in Computer Science ; 13487Publisher: Cham : Springer International Publishing, 2022Publisher: Cham : Imprint: Springer, 2022Edition: 1st ed. 2022Description: 1 Online-Ressource(X, 245 p. 79 illus., 53 illus. in color.)ISBN:- 9783031150081
No physical items for this record