Tallenna
Software Verification and Formal Methods for ML-Enabled Autonomous Systems
This book constitutes the refereed proceedings of the 5th International Workshop on Software Verification and Formal Methods for ML-Enables Autonomous Systems, FoMLAS 2022, and the 15th International Workshop on Numerical Software Verification, NSV 2022, which took place in Haifa, Israel, in July/August 2022.
- Alaotsikko
- 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings
- Toimittaja
- Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi
- Painos
- 1st ed. 2022
- ISBN
- 9783031212215
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 16.12.2022
- Kustantaja
- Springer International Publishing AG
- Sivumäärä
- 205
