bib.howest.be Zoekresultaten

U zocht naar: Auteur Katz, Guy

1 Item gevonden

1. Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Auteur:: Isac, Omri.; Ivanov, Radoslav; Katz, Guy; Narodytska, Nina; Nenzi, Laura
Uitgever:: Cham Springer International Publishing AG 2023
Type:: e-book