Lehrstuhl für Informatik 4
Pubs
Publications
TechnicalReports
Dissertations
DA
SA
Department Informatik
>
Informatik 4
>
Pubs
Veröffentlichungen von
Wischermann, Dirk
2010
Wischermann, Dirk
;
Schröder-Preikschat, Wolfgang
:
Separating Testing Concerns by Means of Models
.
Wischermann, Dirk
;
Schröder-Preikschat, Wolfgang
:
Modelle als Mittel zur Verstärkung von strukturellen Tests sicherheitskritischer Software
.
Gernoth, Michael
;
Lohmann, Daniel
;
Schröder-Preikschat, Wolfgang
;
Sincero, Julio
;
Tartler, Reinhard
;
Wischermann, Dirk
:
Challenges in Operating-Systems Reengineering for Many Cores
.
Contact
