Thomas Mender und Tiziana Margaria - Info zur Person

(1 - 11 von 12

)

ISoLA Program

www.cs.uni-potsdam.de

Martina Hörmann: IKEA IT Germany GmbH; Tiziana Margaria: University of Potsdam, Germany; Thomas Mender: IKEA IT Germany GmbH; Ralf Nagel: TU Dortmund, ... › is...

Leveraging Applications of Formal Methods, Verification and ...

www.ellibs.com

Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh Gesper: Support to Capitalize on Experience in a Network of ... › book › le...

Leveraging Applications of Formal Methods, Verification and...

books.google.de

724 Martina H ̈ormann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, and Hong Trinh Gesper: Support to Capitalize on Experience in a ...

Bernhard Steffen - DBLPdblp.uni-trier.de › Persons

dblp.uni-trier.de

Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh: The jABC Approach to Rigorous Collaborative Development of SCM ...

dblp: Tiziana Margaria

dblp.dagstuhl.de

List of computer science publications by Tiziana Margaria

[PDF] Rekonstruktion von Prozessmodellen aus Black-Box COREcore.ac.uk › download › pdf

core.ac.uk

[73] Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Michael. Schuster, Bernhard Steffen, and Hong Trinh. The jabc approach to collabo-.

The jABC Approach to Rigorous Collaborative Development ...

link.springer.com

von M Hörmann · · Zitiert von: 15 — Martina Hörmann. 1 · Tiziana Margaria. 2 · Thomas Mender. 1 · Ralf Nagel. 3 · Bernhard Steffen. 3 · Hong Trinh. 1. › chapter

The jABC Approach to Rigorous Collaborative Development of SCM...

researchr.org

... jABC Approach to Rigorous Collaborative Development of SCM Applications}, author = {Martina Hörmann and Tiziana Margaria and Thomas Mender and Ralf ...

Thomas Mender - researchr alias

researchr.org

ApplicationsMartina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, ...

Leveraging Applications of Formal Methods 2008

vldbarc.org

Martina Hörmann, Tiziana Margaria, Thomas Mender, Ralf Nagel, Bernhard Steffen, Hong Trinh: The jABC Approach to Rigorous Collaborative Development of ...

Alle Infos zum Namen "Thomas Mender"

Verwandte Suchanfragen zu Thomas Mender

Robert Hörmann
Martina Hörmann
Tiziana Margaria

Ralf Nagel
Rudy Urban
Steve Pravecek

Volker Kolletzki
Dora Buro
Ulrike Mekelburg

Personen
Vorname "Thomas" (124868)
Name "Mender" (65)

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

Thomas Mender und Tiziana Margaria Person-Info