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

Institute of Software Technology (7160)

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	FMCO 2008: Formal Methods for Components and Objects
Publisher	Springer Verlag
Pages	61-81
Volume	5751
Publication status	Published - 2009
Event	International Symposium on Formal Methods for Components and Objects - Sophia-Antipolis, France Duration: 20 Oct 2008 → 24 Oct 2008

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer-Verlag

Conference

Conference	International Symposium on Formal Methods for Components and Objects
Country/Territory	France
City	Sophia-Antipolis
Period	20/10/08 → 24/10/08

Cite this

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. Vol. 5751 Springer Verlag, 2009. p. 61-81 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

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. vol. 5751, Lecture Notes in Computer Science, Springer Verlag, pp. 61-81, International Symposium on Formal Methods for Components and Objects, Sophia-Antipolis, France, 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

Publication series

Conference

Other files and links

Projects

Formal Methods

Cite this