1 หนังสืออิเล็กทรอนิกส์โดย 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
อังกฤษ
DRM
€70.62
