Facetten
Zugriff
Einrichtung
Medientyp
- Text 1
Karte
Erscheinungsjahr
- 2019 1
Autor/in
- Bloem, Roderick 1
- Fey, Görschwin
- Greif, Fabian 1
- Könighofer, Robert
- Pill, Ingo
- alle zeigen
Sprache
- Englisch 1
1 Einträge gefunden
-
Synthesizing adaptive test strategies from temporal logic specifications
- Bloem, Roderick
- Fey, Görschwin
- Greif, Fabian
- Könighofer, Robert
- Pill, Ingo
- Riener, Heinz
- Röck, Franz
- Bloem, Roderick