Treffer 1 - 4 von 4 für Suche 'Navarre, David', Suchdauer: 0,18s
Treffer weiter einschränken
-
1von Canny, Alexandre
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)UnknownFormat -
2von Navarre, David
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 1 (2020)UnknownFormat -
3von Martinie, Célia
Veröffentlicht in INTERACT (18. : 2021 : Bari; Online) Sense, feel, design (2022)UnknownFormat -
4von Singh, Neeraj Kumar
Veröffentlicht in FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems (2020)UnknownFormat