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
(Bog, Paperback / softback, Engelsk)
- Type: Bog
- Format: Paperback / softback
-
Sprog:
Engelsk
- ISBN-13: 9783031212215
- Se flere detaljer ▼
Bemærk: Kan leveres før jul.
Beskrivelse
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.
Læsernes anmeldelser (0)
Alle detaljer
| Forlag | Springer International Publishing AG |
| Type | Bog |
| Format | Paperback / softback |
| Sprog | Engelsk |
| Udgave | 1st ed. 2022 |
| Udgivelsesdato | 16-12-2022 |
| Første udgivelsesår | 2022 |
| Serie | Lecture Notes in Computer Science |
| Illustrationer | 34 Illustrations, color; 8 Illustrations, black and white |
| Fagredaktør | Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi |
| Originalsprog | Switzerland |
| Sideantal | 205 |
| Indbinding | Paperback / softback |
| Forlag | Springer International Publishing AG |
| Sideoplysninger | 205 pages, 34 Illustrations, color; 8 Illustrations, black and white |
| Mål | 155 x 234 x 18 |
| ISBN-13 / EAN-13 | 9783031212215 |