Wissenschaftliche Veröffentlichungen Peer Smuda

(1 - 15 von 15

)

dblp: BibTeX records: Peer Smuda

dblp.uni-trier.de

List of computer science publications by BibTeX records: Peer Smuda

dblp: Peer Smuda

dblp.org

List of computer science publications by Peer Smuda

dblp: ICTSS 2011

dblp.uni-trier.de

Bibliographic content of ICTSS 2011

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:

dblp: Florian Lapschies

dblp.uni-trier.de

List of computer science publications by Florian Lapschies

Embedded Systems Testing Benchmarks Site

www.informatik.uni-bremen.de

Embedded Systems Testing Benchmarks Site Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, and Cornelia Zahlten: ...

dblp: Hermann Schmid

dblp.uni-trier.de

List of computer science publications by Hermann Schmid

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 ...

Publication List

neuro.informatik.uni-ulm.de

Peer Smuda, Roland Schweiger, Heiko Neumann, Werner Ritter: Multiple cue data fusion with particle filters for road course detection in vision systems.

dblp: Cornelia Zahlten

dblp.dagstuhl.de

List of computer science publications by Cornelia Zahlten

dblp: Helge Löding

dblp.dagstuhl.de

List of computer science publications by Helge Löding

Turn Indicator Model Rev. 1.6

www.informatik.uni-bremen.de

Artur Honisch, Hermann Schmid, Peer Smuda (Daimler AG); Helge Löding, Cornelia Zahlten (Verified Systems International GmbH). Acknowledgments. The ...

dblp: Elena Vorobev

dblp.dagstuhl.de

List of computer science publications by Elena Vorobev

Verwandte Suchanfragen zu Peer Smuda

Sabine Witte
Nikola Riedinger
Gerd Schauerte

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

Impressum AGB Datenschutz

+1

Weltweit