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
Mitwirkende(r): Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Reihen: Lecture Notes in Computer Science ; 13487Verlag: Cham : Springer International Publishing, 2022Verlag: Cham : Imprint: Springer, 2022Auflage: 1st ed. 2022Beschreibung: 1 Online-Ressource(X, 245 p. 79 illus., 53 illus. in color.)ISBN:- 9783031150081
Dieser Titel hat keine Exemplare