1 Ebooks oleh Radoslav Ivanov
Omri Isac & Radoslav Ivanov: Software Verification and Formal Methods for ML-Enabled Autonomous Systems
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, Fo MLAS 2022, and the 15th Internationa …
EPUB
Inggris
DRM
€70.52
