E-LIB Suche - Ergebnisse für: Dörr, Heiko

1

Multi-Project Capability in Checking Software Models:

Dörr, Heiko ; Trögel, Anna ; Weinberg, Daniela
Auto Tech Review. 3 (2014) 4 - p. 32-35 , 2014

Link: https://doi.org/10.1365/..

2

Experiences with model and autocode reviews in model-based ..:

, In: Proceedings of the 2006 international workshop on Software engineering for automotive systems,

Stürmer, Ingo ; Conrad, Mirko ; Fey, Ines. - p. 45-52 , 2006

Link: https://dl.acm.org/doi/1..

3

8.3.1 Towards an Integrated Methodology for the Model‐based..:

Buhr, Kerstin ; Conrad, Mirko ; Dörr, Heiko.
INCOSE International Symposium. 15 (2005) 1 - p. 1201-1215 , 2005

Link: https://doi.org/10.1002/..

4

Introductory paper:

Schürr, Andy ; Dörr, Heiko
Software & Systems Modeling. 4 (2005) 2 - p. 109-111 , 2005

Link: https://doi.org/10.1007/..

5

Introduction:

Dörr, Heiko ; Schürr, Andy
International Journal on Software Tools for Technology Transfer. 6 (2004) 3 - p. 183-185 , 2004

Link: https://doi.org/10.1007/..

6

7.6.3 Requirements Driven Quality Assurance:

Buhr, Kerstin ; Dörr, Heiko
INCOSE International Symposium. 13 (2003) 1 - p. 1046-1057 , 2003

Link: https://doi.org/10.1002/..

7

Specifying embedded systems with statecharts and Z: an agen..:

Grieskamp, Wolfgang ; Heisel, Maritta ; Dörr, Heiko
Science of Computer Programming. 40 (2001) 1 - p. 31-57 , 2001

Link: https://doi.org/10.1016/..

8

Efficient graph rewriting and its implementation

Lecture notes in computer science ; 922

Dörr, Heiko , 1995

Copies: Zentrale:Magazin 01.P.5683

9

Efficient Graph Rewriting and Its Implementation

Lecture Notes in Computer Science ; 922;SpringerLink, Bücher

Dörr, Heiko , 1995

Link: https://doi.org/10.1007/..

Copies: Zentrale:Magazin 01.P.5683

10

Efficient graph rewriting and its implementation

Lecture notes in computer science ; 922

Dörr, Heiko , 1995

Link: http://dx.doi.org/10.100..

11

Herausforderungen an die Informatik

Beiträge zur FIFF-Jahrestagung 1991 im Kongreß "Challenges...

Dörr, Heiko , [1992]

Copies: Zentrale:Magazin 01.c.9926; Zentrale:Magazin 01.S.5840

12

Interoperable Toolchain for Requirements-Driven Model-Based..:

Becker, Jan ; Bertram, Vincent ; Bienmüller, Tom...
hal-02156203. , 2018

Link: https://hal.science/hal-..

13

Bypass strong V-structures and find an isomorphic labelled ..:

Dörr, Heiko
urn:nbn:de:kobv:188-fudocsseries000000000021-2. , 1994

Link: https://refubium.fu-berl..

14

An abstract machine for the execution of graph grammars:

Dörr, Heiko
urn:nbn:de:kobv:188-fudocsseries000000000021-2. , 1994

Link: https://refubium.fu-berl..

15

Single-cell transcriptomic atlas-guided development of CAR-..:

Gottschlich, Adrian ; Thomas, Moritz ; Grünmeier, Ruth...
Nature Biotechnology. 41 (2023) 11 - p. 1618-1632 , 2023

Link: https://doi.org/10.1038/..