Thomas Mender und Hong Trinh - Info zur Person

(1 - 9 von 10

)

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: Hong Trinh

dblp.org

List of computer science publications by Hong Trinh

[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 of SCM ...link.springer.com › chapter

link.springer.com

Martina Hörmann, Thomas Mender & Hong Trinh. Chair of Service and Software Engineering, Institute for Informatics, University of Potsdam, Germany.

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

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 Hong Trinh Person-Info