Synthesizing adaptive test strategies from temporal logic specifications (Englisch)
Freier Zugriff
- Neue Suche nach: Bloem, Roderick
- Weitere Informationen zu Bloem, Roderick:
- https://orcid.org/0000-0002-1411-5744
- http://d-nb.info/gnd/1044944110
- Neue Suche nach: Fey, Görschwin
- Weitere Informationen zu Fey, Görschwin:
- https://orcid.org/0000-0001-6433-6265
- http://d-nb.info/gnd/132596709
- Neue Suche nach: Greif, Fabian
- Weitere Informationen zu Greif, Fabian:
- https://orcid.org/0000-0001-7494-909X
- Neue Suche nach: Könighofer, Robert
- Neue Suche nach: Pill, Ingo
- Weitere Informationen zu Pill, Ingo:
- https://orcid.org/0000-0002-8420-6377
- Neue Suche nach: Riener, Heinz
- Neue Suche nach: Röck, Franz
- Weitere Informationen zu Röck, Franz:
- https://orcid.org/0000-0002-7432-1419
- Neue Suche nach: Bloem, Roderick
- Weitere Informationen zu Bloem, Roderick:
- https://orcid.org/0000-0002-1411-5744
- http://d-nb.info/gnd/1044944110
- Neue Suche nach: Fey, Görschwin
- Weitere Informationen zu Fey, Görschwin:
- https://orcid.org/0000-0001-6433-6265
- http://d-nb.info/gnd/132596709
- Neue Suche nach: Greif, Fabian
- Weitere Informationen zu Greif, Fabian:
- https://orcid.org/0000-0001-7494-909X
- Neue Suche nach: Könighofer, Robert
- Neue Suche nach: Pill, Ingo
- Weitere Informationen zu Pill, Ingo:
- https://orcid.org/0000-0002-8420-6377
- Neue Suche nach: Riener, Heinz
- Neue Suche nach: Röck, Franz
- Weitere Informationen zu Röck, Franz:
- https://orcid.org/0000-0002-7432-1419
- Neue Suche nach: TUHH Universitätsbibliothek
In:
Formal methods in system design
2
;
103-135
;
2019
-
ISSN:
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Synthesizing adaptive test strategies from temporal logic specifications
-
Beteiligte:Bloem, Roderick ( Autor:in ) / Fey, Görschwin ( Autor:in ) / Greif, Fabian ( Autor:in ) / Könighofer, Robert ( Autor:in ) / Pill, Ingo ( Autor:in ) / Riener, Heinz ( Autor:in ) / Röck, Franz ( Autor:in ) / TUHH Universitätsbibliothek ( Gastgebende Institution )
-
Erschienen in:Formal methods in system design , 2 ; 103-135
-
Verlag:
- Neue Suche nach: Springer Science + Business Media B.V
-
Erscheinungsdatum:2019
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Lizenzbestimmungen:
-
Datenquelle: