Johannes Traub - Wissenschaftliche Veröffentlichungen

(1 - 10 von 10

)

dblp: Johannes Traub

dblp.uni-trier.de

List of computer science publications by Johannes Traub

Johannes Traub - dblpdblp.org › Persons

dblp.org

Thorsten Ehlers, Dirk Nowotka, Philipp Sieweck, Johannes Traub: Formal software verification for the migration of embedded code from single- to multicore ...

dblp: Automotive - Safety & Security 2012

dblp.uni-trier.de

Bibliographic content of Automotive - Safety & Security 2012

Johannes Traub - Universität Koblenz · Landau

www.uni-koblenz-landau.de

› fotos › traub › view

dblp: Philipp Sieweck

dblp.uni-trier.de

List of computer science publications by Philipp Sieweck

Johannes Traub, MSc — Arbeitsgruppe Zuverlässige Systeme

www.zs.informatik.uni-kiel.de

· . DAIMLER AG Software-Design und -Analyse (RD/ESS) Werk/HPC: G Sindelfingen.

Formal Verification of Concurrent Embedded Software - Hal-Inria

ifip.hal.science

Dirk Nowotka, Johannes Traub. Formal Verification of Concurrent Embedded Software. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, ... › hal

Johannes Traubuni-koblenz-landau.de

www.uni-koblenz-landau.de

› fotos › traub › ima...

Rechnerarchitektur - Universität Freiburg

ira.informatik.uni-freiburg.de

2007, Vanessa Struve Erstgutachter: Becker Zweitgutachter: Scholl. Schaltkreis- und SAT-Solver-Visualisierung 2007, Markus Fuchs Erstgutachter: Becker Zweitgutachter: Scholl. Umsetzung eines SAT/LP-Algorithmus auf moderne SAT- und LP-Solver 2007, Johannes Traub Erstgutachter: Becker Zweitgutachter: Scholl.

dblp: Dirk Nowotka

dblp.dagstuhl.de

List of computer science publications by Dirk Nowotka

Verwandte Suchanfragen zu Johannes Traub

Wiebke Alphei
Tina In-Albon
Marvin Jeglinsky

Dani Traub
Jens Bollet
Simon Götz

Julia Traub
Rainer Traub
Silke Benner

Person "Traub" (8)
Vorname "Johannes" (37739)
Name "Traub" (748)

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

Wissenschaftliche Veröffentlichungen Johannes Traub