Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings

Full text!
Format:
e-book
Title:
Software Verification and Formal Methods for ML-Enabled Autonomous Systems : 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
Author:
Isac, Omri.; Ivanov, Radoslav; Katz, Guy; Narodytska, Nina; Nenzi, Laura
Language:
English
Publisher:
Cham Springer International Publishing AG 2023
ISBN:
3-031-21221-5
3-031-21222-3
Permalink:
http://bibtest.howest.be/catalog/ebk03:25732568300041?locale=en