Omri Isac
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska · 2023
פרטי הספר
- שנה
- 2023
- שפה
- English
- הוצאה
- Springer International Publishing AG
- מהדורות
- 1
- ISBN
- 9783031212215
מקור הנתונים: Wikidata