Treffer 1 - 8 von 8 für Suche 'Freitas, Leo', Suchdauer: 3,21s
Treffer weiter einschränken
-
1
-
2
-
3
-
4
-
5
-
6von Almehrej, Abdulaziz
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)UnknownFormat -
7
-
8von Buhagiar, Aaron John
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 4: Practice (2022)UnknownFormat