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

Type:

e-book

Titel:

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

Auteur:

Isac, Omri.; Ivanov, Radoslav; Katz, Guy; Narodytska, Nina; Nenzi, Laura

Taal:

Engels

Uitgever:

Cham Springer International Publishing AG 2023

ISBN:

3-031-21221-5
3-031-21222-3

Permalink:

http://bibtest.howest.be/catalog/ebk03:25732568300041