Conformance Testing of Distributed Concurrent Systems with Executable Designs

Bernhard Aichernig; Andreas Griesmayer; Einar Broch Johnsen; Rudolf Schlatte; Andries Stam

Conformance Testing of Distributed Concurrent Systems with Executable Designs

Bernhard Aichernig, Andreas Griesmayer, Einar Broch Johnsen, Rudolf Schlatte, Andries Stam

Institut für Softwaretechnologie (7160)

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	FMCO 2008: Formal Methods for Components and Objects
Herausgeber (Verlag)	Springer Verlag
Seiten	61-81
Band	5751
Publikationsstatus	Veröffentlicht - 2009
Veranstaltung	International Symposium on Formal Methods for Components and Objects - Sophia-Antipolis, Frankreich Dauer: 20 Okt. 2008 → 24 Okt. 2008

Publikationsreihe

Name	Lecture Notes in Computer Science
Herausgeber (Verlag)	Springer-Verlag

Konferenz

Konferenz	International Symposium on Formal Methods for Components and Objects
Land/Gebiet	Frankreich
Ort	Sophia-Antipolis
Zeitraum	20/10/08 → 24/10/08

Andere Dateien und Links

http://www-sop.inria.fr/oasis/FMCO/fmco08.html

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

Conformance Testing of Distributed Concurrent Systems with Executable Designs. / Aichernig, Bernhard; Griesmayer, Andreas; Broch Johnsen, Einar et al.
FMCO 2008: Formal Methods for Components and Objects. Band 5751 Springer Verlag, 2009. S. 61-81 (Lecture Notes in Computer Science).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Aichernig, B, Griesmayer, A, Broch Johnsen, E, Schlatte, R & Stam, A 2009, Conformance Testing of Distributed Concurrent Systems with Executable Designs. in FMCO 2008: Formal Methods for Components and Objects. Bd. 5751, Lecture Notes in Computer Science, Springer Verlag, S. 61-81, International Symposium on Formal Methods for Components and Objects, Sophia-Antipolis, Frankreich, 20/10/08.

@inproceedings{f93855408ce44fb6bc6fc01dc59696b2,

title = "Conformance Testing of Distributed Concurrent Systems with Executable Designs",

author = "Bernhard Aichernig and Andreas Griesmayer and {Broch Johnsen}, Einar and Rudolf Schlatte and Andries Stam",

year = "2009",

language = "English",

volume = "5751",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "61--81",

booktitle = "FMCO 2008: Formal Methods for Components and Objects",

address = "Germany",

note = "International Symposium on Formal Methods for Components and Objects ; Conference date: 20-10-2008 Through 24-10-2008",

}

TY - GEN

T1 - Conformance Testing of Distributed Concurrent Systems with Executable Designs

AU - Aichernig, Bernhard

AU - Griesmayer, Andreas

AU - Broch Johnsen, Einar

AU - Schlatte, Rudolf

AU - Stam, Andries

PY - 2009

Y1 - 2009

UR - http://www-sop.inria.fr/oasis/FMCO/fmco08.html

M3 - Conference paper

VL - 5751

T3 - Lecture Notes in Computer Science

SP - 61

EP - 81

BT - FMCO 2008: Formal Methods for Components and Objects

PB - Springer Verlag

T2 - International Symposium on Formal Methods for Components and Objects

Y2 - 20 October 2008 through 24 October 2008

ER -

Conformance Testing of Distributed Concurrent Systems with Executable Designs

Publikationsreihe

Konferenz

Andere Dateien und Links

Projekte

Formale Methoden

Dieses zitieren