TU Darmstadt / ULB / TUbiblio

Parameterized Preorder Relations for Model-Based Testing of Software Product Lines

Lochau, Malte ; Kamischke, Jochen
Hrsg.: Margaria, Tiziana ; Steffen, Bernhard (2012)
Parameterized Preorder Relations for Model-Based Testing of Software Product Lines.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 2012
Herausgeber: Margaria, Tiziana ; Steffen, Bernhard
Autor(en): Lochau, Malte ; Kamischke, Jochen
Art des Eintrags: Bibliographie
Titel: Parameterized Preorder Relations for Model-Based Testing of Software Product Lines
Sprache: Englisch
Publikationsjahr: 2012
Verlag: Springer Berlin Heidelberg
Buchtitel: Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change
Reihe: Lecture Notes in Computer Science
Band einer Reihe: 7609
URL / URN: http://dx.doi.org/10.1007/978-3-642-34026-0_17
Fachbereich(e)/-gebiet(e): 18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik > Echtzeitsysteme
18 Fachbereich Elektrotechnik und Informationstechnik
18 Fachbereich Elektrotechnik und Informationstechnik > Institut für Datentechnik
Hinterlegungsdatum: 05 Jun 2015 09:59
Letzte Änderung: 05 Jun 2015 09:59
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen