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

Gespeichert in:
Hauptverfasser:
Isac, Omri (HerausgeberIn), Ivanov, Radoslav (HerausgeberIn), Katz, Guy (HerausgeberIn), Narodytska, Nina (HerausgeberIn), Nenzi, Laura (HerausgeberIn)
Format:
Elektronisch E-Book
Sprache:
Englisch
Veröffentlicht:
Cham Springer International Publishing Imprint: Springer 2022
Ausgabe:
1st ed. 2022
Umfang:
1 Online-Ressource (X, 205 p. 42 illus., 34 illus. in color)
text file PDF
Schriftenreihe:
Lecture Notes in Computer Science
ISBN:
9783031212222
ISSN:
1611-3349
DOI:
10.1007/978-3-031-21222-2
Schlagworte:
Computer science
Computer networks 
Machine learning
Computer vision
Software engineering
Bezugswerke:
Links: