Zoeken

U zocht naar: Auteur Nenzi, Laura Filter Auteur: Nenzi, Laura weghalen
1 - 2 van 2
Aantal zoekresultaten per pagina

Zoekresultaten

1. Runtime Verification : 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings
thumbnail
Full text!
Auteur:
Katsaros, Panagiotis.; Nenzi, Laura
Uitgever:
Cham Springer 2023
Type:
e-book
2. 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
thumbnail
Full text!
Auteur:
Isac, Omri.; Ivanov, Radoslav; Katz, Guy; Narodytska, Nina; Nenzi, Laura
Uitgever:
Cham Springer International Publishing AG 2023
Type:
e-book