Peer Smuda und Jan Peleska - Info zur Person

(1 - 7 von 7

)

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems...

www.informatik.uni-bremen.de

Author: Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, and Cornelia Zahlten. Abstract:

SONOLAR

www.informatik.uni-bremen.de

SONOLAR : SONOLAR, the Solver for non-linear Arithmetic ... Jan Peleska, Florian Lapschies, Helge Löding, Peer Smuda, Hermann Schmid, Elena Vorobev, ...

Cornelia Zahlten - dblpdblp.org › Persons

dblp.org

Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten: A Real-World ...

Testing Software and Systems - LNCS 7019

ifip.hal.science

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten, Adaptive Testing of Deterministic Implementations Specified by Nondeterministic ...

Cornelia Zahlten
Susanna Wiegand
Rainer Stachow

Werner Ritter
Heiko Neumann
Artur Honisch

Person "Smuda" (1)
Vorname "Peer" (2433)
Name "Smuda" (207)

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

Peer Smuda und Jan Peleska Person-Info

A Real-World Benchmark Model for Testing Concurrent Real-Time Systems...

SONOLAR

Cornelia Zahlten - dblpdblp.org › Persons

Testing Software and Systems - LNCS 7019

A Real-World Benchmark Model for Testing SpringerLinklink.springer.com › chapter

ICTSS 2011

Program - ICTSS 2011ictss2011.lri.fr › program

Alle Infos zum Namen "Peer Smuda"