Correctness of Model-based Component Composition without State Explosion

פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

שפה מקורית	אנגלית
כותר פרסום המארח	Proceedgins of the ECOOP 2003 Workshop on Correctness of Model-based Software Composition (CMC)
עורכים	Ragnhild Van Der Straeten, Andreas Speck, Elke Pulvermueller, Matthias Clauss, Andreas Pleuss
מקום הפרסום	Darmstadt, Germany
עמודים	37-44
מספר עמודים	8
סטטוס פרסום	פורסם - 1 יולי 2003

פורמט ציטוט ביבליוגרפי

@inproceedings{d890cb6877394389ada809b380fcc08e,

title = "Correctness of Model-based Component Composition without State Explosion",

author = "Attie, {Paul C.} and Lorenz, {David H.}",

year = "2003",

month = jul,

day = "1",

language = "אנגלית",

pages = "37--44",

editor = "Straeten, {Ragnhild Van Der} and Andreas Speck and Elke Pulvermueller and Matthias Clauss and Andreas Pleuss",

booktitle = "Proceedgins of the ECOOP 2003 Workshop on Correctness of Model-based Software Composition (CMC)",

}

Correctness of Model-based Component Composition without State Explosion. / Attie, Paul C.; Lorenz, David H.
Proceedgins of the ECOOP 2003 Workshop on Correctness of Model-based Software Composition (CMC). עורך / Ragnhild Van Der Straeten; Andreas Speck; Elke Pulvermueller; Matthias Clauss; Andreas Pleuss. Darmstadt, Germany, 2003. עמוד 37-44.

פרסום מחקרי: פרק בספר / בדוח / בכנס › פרסום בספר כנס › ביקורת עמיתים

TY - GEN

T1 - Correctness of Model-based Component Composition without State Explosion

AU - Attie, Paul C.

AU - Lorenz, David H.

PY - 2003/7/1

Y1 - 2003/7/1

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

SP - 37

EP - 44

BT - Proceedgins of the ECOOP 2003 Workshop on Correctness of Model-based Software Composition (CMC)

A2 - Straeten, Ragnhild Van Der

A2 - Speck, Andreas

A2 - Pulvermueller, Elke

A2 - Clauss, Matthias

A2 - Pleuss, Andreas

CY - Darmstadt, Germany

ER -