Andreas Griesmayer und Einar Broch Johnsen - Info zur Person

(1 - 11 von 12

)

Tests and Proofs: Third International Conference, TAP 2009, Zurich...

books.google.de

105 Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, and Rudolf Schlatte Combining Model Checking and Testing in a Continuous HW/SW ...

Search results for "Frank S. de Boer" – FacetedDBLP

dblp.l3s.de

2, Rudolf Schlatte, Bernhard K. Aichernig, Frank S. de Boer, Andreas Griesmayer, Einar Broch Johnsen · Testing Concurrent Objects with Application-Specific ...

Publications | Einar Broch Johnsen

ebjohnsen.org

Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte. PDF Cite DOI · Proof Search for the First-Order Connection Calculus in Maude. › publication

Tests and Proofs, Third International Conference, TAP 2009, Zurich,...

researchr.org

[doi] · Dynamic Symbolic Execution for Testing Distributed ObjectsAndreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte. › publication

Dynamic Symbolic Execution of Distributed Concurrent Objects (short...

graz.pure.elsevier.com

Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper). Andreas Griesmayer, Bernhard Aichernig, Einar Broch Johnsen, Rudolf Schlatte. › publications › dynamic-...

FMOODS / FORTE IFIP Digital Library

dl.ifip.org

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte Checking the Conformance of Orchestrations with Respect to ... › conf › forte2009

FMOODS FORTE/Papers - Discotec09

discotec09.di.fc.ul.pt

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen and Rudolf Schlatte : Dynamic Symbolic Execution of Distributed Concurrent Objects. › Papers

Janny Ramakers - Publications List

publicationslist.org

Immo Grabe, Mohammad Mahdi Jaghoori, Bernhard Aichernig, Christel Baier, Tobias Blechmann, Frank de Boer, Andreas Griesmayer, Einar Broch Johnsen, ...

Programme - Discotec09

discotec09.di.fc.ul.pt

... (S) Dynamic Symbolic Execution of Distributed Concurrent Objects (Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen and ...

Alle Infos zum Namen "Andreas Griesmayer"

Verwandte Suchanfragen zu Andreas Griesmayer

Roderick Bloem
Alessio Lomuscio
Barbara Jobstmann

Christel Baier
Marcel Kyas
Julia Griesmayer

Peter Griesmayer
Anton Griesmayer

Personen
Vorname "Andreas" (97752)
Name "Griesmayer" (10)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Andreas Griesmayer und Einar Broch Johnsen Person-Info