Facetten
Zugriff
Einrichtung
Medientyp
- Text 1
Karte
Erscheinungsjahr
Autor/in
- Bloem, Roderick 1
- Fey, Görschwin
- Greif, Fabian
- Könighofer, Robert 1
- Pill, Ingo 1
- 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