Ivanov, Radoslav books & textbook
Software Verification and Formal Methods for ML-Enabled Autonomous Systems (Lecture Notes in Computer Science)
Isac, Omri Ivanov, Radoslav Katz, Guy Narodytska, Nina Nenzi, Laura
Springer /2022-12-16 Paperback / 216 Pages
isbn-10: 3031212215 / isbn-13: 9783031212215
Software Verification and Formal Methods for ML-Enabled Autonomous Systems: 5th International Workshop, FoMLAS 2022, and 15th International Workshop, ... - August 1, and August 11, 2022, Proceedings
Isac, Omri Ivanov, Radoslav Katz, Guy
Springer /2022-12-16 Paperback / 216 Pages
isbn-10: 3031212231 / isbn-13: 9783031212239
