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 contribution

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