Treffer 1 - 4 von 4 für Suche 'Corbato, Carlos Hernandez', Suchdauer: 0,22s
Treffer weiter einschränken
-
1von Corbato, Carlos Hernandez
Veröffentlicht in ROBOT (4. : 2019 : Porto) Robot 2019 ; Volume 1 (2020)UnknownFormat -
2von Baioumy, Mohamed
Veröffentlicht in ECML PKDD (2021 : Online) Machine learning and principles and practice of knowledge discovery in databases ; Part 1 (2021)UnknownFormat -
3UnknownFormat
-
4von Päßler, Juliane
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)UnknownFormat