( en | de | ru )

 

Disambiguation of "Dörr, Heiko"

Author of the publication

copydeleteadd this publication to your clipboard
Model Checking im Automotivbereich.

, , and . GI Jahrestagung, volume P-19 of LNI, page 819-823. GI, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Käthe Dörr

Fritz Dörr

Günter Dörr

Arthur Dörr

Rudolf Dörr

 

Other publications of authors with the same name

Specifying Embedded Systems with Staecharts and Z: An Agenda for Cyclic Software Components., , and . FASE, volume 1382 of Lecture Notes in Computer Science, page 88-106. Springer, (1998)Establishing Evidence for Safety Cases in Automotive Systems - A Case Study., , and . SAFECOMP, volume 4680 of Lecture Notes in Computer Science, page 1-13. Springer, (2007)The AUTOSAR Way of Model-Based Engineering of Automotive Systems.. ICGT, volume 5214 of Lecture Notes in Computer Science, page 38. Springer, (2008)Graph Transformations for Model-based Testing., , , and . Modellierung, volume P-12 of LNI, page 39-50. GI, (2002)Das MATE Projekt - visuelle Spezifikation von MATLAB Simulink/Stateflow Analysen und Transformationen, , , , , and . MBEES, volume 2007-1 of Informatik-Bericht, page 83-94. TU Braunschweig, Institut für Software Systems Engineering, (2007)Introduction., and . Int. J. Softw. Tools Technol. Transf., 6 (3): 183-185 (2004)Efficient Graph Rewriting and Its Implementation. Lecture Notes in Computer Science Springer, (1995)13.Workshop Automotive Software Engineering., and . GI-Jahrestagung, volume P-246 of LNI, page 1579-1580. GI, (2015)Deployment of Model-based Software Development in Safety-related Applications: Challenges and Solutions Scenarios., and . Modellierung, volume P-82 of LNI, page 245-254. GI, (2006)Computing an Upper Bound for SVS(gg) by Abstract Interpretation.. Developments in Language Theory, page 279-288. World Scientific, Singapore, (1995)