Sieben Veröffentlichungen mit Beteiligung.
Um Ihnen das Referenzieren zu vereinfachen, können Sie eine .
(536) |
Horstmann, M.; Schnieder, E.; Mäder, P.; Nienaber, S.; Schulz, H.-M.: A Framework for Interlacing Test and Design. In: Pretschner, A.; Salzmann, C.; Stauner, T., Hrsg.: Proceedings of the 26th international conference on software engineering icse - Workshop; 25.05.04; Edinburgh, Scotland, S. 27-32, Mai 2004. 26th international conference on software engineering icse. |
(476) |
Horstmann, M.;Kluge, J.; Schulz, H.-M.: Verzahnung von Entwurf und Test eingebetteter Systeme im Automobil. Tagungsband der 23. Tagung 'Elektronik im Automobil', Juni 2003. 23. Tagung 'Elektronik im Automobil', im Haus der Technik, Stuttgart, 17.-18.06.2003. |
(303) |
Meyer zu Hörste, M.; Schnieder, E.; Schulz, H.-M.: Test case generation from formal specifications on the example of train control systems. Computers in Railways VII, S. 117-126, September 2000. Comprail 2000, 11.-13.Sept, Bologna, Italien, WITPRESS. |
(19) |
Fay, A.; Meyer zu Hörste, M.; Schulz, H.-M.: Formale Spezifikation von Eisenbahnleitsystemen in Europa. ETR - Eisenbahntechnische Rundschau. 47(8-9), S. 554-555, ''7 1998. |
(283) |
Jansen, L.; Schulz, H.-M.: Simulation des ETCS-Modells in Design/CPN. FORMS'98 International Workshop Formal Spezifikation of Train Control Systems in Europe 12.-13. May, Braunschweig, '' 1998. Braunschweig. |
(252) |
Meyer zu Hörste, M.; Ptok, B.; Schnieder, E.; Schulz, H.-M.: Modelling and Simulation of the European Train Control System for test case generation. In: Mellitt, B; Hill, R. J.; Allan, J.; Sciutto, G.; Brebbia, C. A., Hrsg.: Proceedings COMPRAIL '98: Computers in Railways VI, Lissabon, S. 649-658, Southampton, Boston, ''7 1998. Sixth international conference on computer aided design, manufacture and operation in the railway and other advanced mass transit systems / Lissabon, WIT Press. |
(282) |
Schulz, H.-M.: Komplexität des Test technischer Systeme mit Blick auf Leitsysteme im Schienenverkehr. FORMS '98 International Workshop Formal Spezifikation of Train Control Systems in Europe 12.-13. May, Braunschweig, 1998. Braunschweig. |