Conformance Testing of Distributed Concurrent Systems with Executable Designs

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

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelFMCO 2008: Formal Methods for Components and Objects
Herausgeber (Verlag)Springer Verlag
Seiten61-81
Band5751
PublikationsstatusVeröffentlicht - 2009
VeranstaltungInternational Symposium on Formal Methods for Components and Objects - Sophia-Antipolis, Frankreich
Dauer: 20 Okt 200824 Okt 2008

Publikationsreihe

NameLecture Notes in Computer Science
Herausgeber (Verlag)Springer-Verlag

Konferenz

KonferenzInternational Symposium on Formal Methods for Components and Objects
LandFrankreich
OrtSophia-Antipolis
Zeitraum20/10/0824/10/08

Dieses zitieren

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