Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2008Pleiotropic effects in Eya3 knockout mice
Söker, T.; Dalke, C.; Puk, O.; Floss, T.; Becker, L.; Bolle, I.; Favor, J.; Hans, W.; Hölter, S.M.; Horsch, M.; Kallnik, M.; Kling, E.; Moerth, C.; Schrewe, A.; Stigloher, C.; Topp, S.; Gailus-Durner, V.; Naton, B.; Beckers, J.; Fuchs, H.; Ivandic, B.; Klopstock, T.; Schulz, H.; Wolf, E.; Wurst, W.; Bally-Cuif, L.; Angelis, M.H. de; Graw, J.
Zeitschriftenaufsatz
2007Analyzing and visualizing defect data in combination with software architecture
Topp, Stefan
: Knauber, Peter (Supervisor); Kolb, Ronny (Supervisor)
Diplomarbeit
2007Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers
Can, A.B.; Bultan, T.; Lindvall, M.; Lux, B.; Topp, S.
Zeitschriftenaufsatz, Konferenzbeitrag
2005Application of design for verification with concurrency controllers to air traffic control software
Betin-Can, A.; Bultan, T.; Lindvall, M.; Lux, B.; Topp, S.
Konferenzbeitrag