Radoslav Ivanov – författare
Visar alla böcker från författaren Radoslav Ivanov. Handla med fri frakt och snabb leverans.
3 produkter
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
Av Omri Isac, Radoslav Ivanov m. fl.
Häftad, 2022
734 kr
Lägg i varukorg
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 …
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
Av Laura Nenzi, Nina Narodytska m. fl.
E-bok, 2022
903 kr
Lägg i varukorg
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 …
