Número de Cutter-SanbornI74sEntrada «Isab» → 74 · marca de obra “s”

Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Name: Software Verification and Formal Methods for ML-Enabled Autonomous Systems
ISBN: 9783031212215

5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Edición de la obra Software Verification and Formal Methods for ML-Enabled Autonomous Systems

Autor	Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska

Software Verification and Formal Methods for ML-Enabled Autonomous Systems (2023) — ISBN 9 | Cutter Number