2 Ebooki wg Laura Nenzi
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
Angielski
DRM
€70.52
Panagiotis Katsaros & Laura Nenzi: Runtime Verification
This book constitutes the refereed proceedings of the 23rd International Conference on Runtime Verification, RV 2023, held in Thessaloniki, Greece, during October 3-6, 2023. The 13 full papers and 7 …
EPUB
Angielski
DRM
€77.19
