Software Verification and Formal Methods for ML-Enabled Autonomous Systems Dublin Core Títol Software Verification and Formal Methods for ML-Enabled Autonomous Systems Autor Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi Matèria Computer Science Computer Science & Information Technology Editor Springer Nature Data de publicació 2022 Identificador 9783031212222 Font https://doi.org/10.1007/978-3-031-21222-2 Etiquetes Computer Science, Computer Science & Information Technology Col·lecció Computer Science & Information Technology ← ítem anterior Ítem següent →
