Conformance Testing of Distributed Concurrent Systems with Executable Designs

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationFMCO 2008: Formal Methods for Components and Objects
PublisherSpringer Verlag
Pages61-81
Volume5751
Publication statusPublished - 2009
EventInternational Symposium on Formal Methods for Components and Objects - Sophia-Antipolis, France
Duration: 20 Oct 200824 Oct 2008

Publication series

NameLecture Notes in Computer Science
PublisherSpringer-Verlag

Conference

ConferenceInternational Symposium on Formal Methods for Components and Objects
CountryFrance
CitySophia-Antipolis
Period20/10/0824/10/08

Cite this

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

Conformance Testing of Distributed Concurrent Systems with Executable Designs. / Aichernig, Bernhard; Griesmayer, Andreas; Broch Johnsen, Einar; Schlatte, Rudolf; Stam, Andries.

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 proceedingConference contributionResearchpeer-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.
Aichernig B, Griesmayer A, Broch Johnsen E, Schlatte R, Stam A. Conformance Testing of Distributed Concurrent Systems with Executable Designs. In FMCO 2008: Formal Methods for Components and Objects. Vol. 5751. Springer Verlag. 2009. p. 61-81. (Lecture Notes in Computer Science).
Aichernig, Bernhard ; Griesmayer, Andreas ; Broch Johnsen, Einar ; Schlatte, Rudolf ; Stam, Andries. / Conformance Testing of Distributed Concurrent Systems with Executable Designs. FMCO 2008: Formal Methods for Components and Objects. Vol. 5751 Springer Verlag, 2009. pp. 61-81 (Lecture Notes in Computer Science).
@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",

}

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 contribution

VL - 5751

T3 - Lecture Notes in Computer Science

SP - 61

EP - 81

BT - FMCO 2008: Formal Methods for Components and Objects

PB - Springer Verlag

ER -