Andre Platzer - Wissenschaftliche Veröffentlichungen

(1 - 7 von 8

)

Institute of Theoretical Computer Science - TU Braunschweig

www.tcs.cs.tu-bs.de

Website of Prof. Dr. Roland Meyer's Institute for Theoretical Computer Science at TU Braunschweig

Publications of Jan Peleska

www.informatik.uni-bremen.de

Publications of Jan Peleska : Jan Peleska: Industrial Verification of Avionic, Automotive, ... In Roland Meyer, Andre Platzer and Heike Wehrheim (eds.): ...

Carnegie Mellon methods keep bugs out of software for self-driving...

www.sciencecodex.com

PITTSBURGH—Driver assistance technologies, such as adaptive cruise control and automatic braking, promise to someday ease traffic on crowded routes and prevent...

Technical Program

rss2013.robotics.tu-berlin.de

RSS 2013

NSV 2015: 8th International Workshop on Numerical Software...

nsv2015.informatik.uni-freiburg.de

Nikos Arechiga, James Kapinski, Jyotirmoy Deshmukh, Andre Platzer and Bruce Krogh. Numerically-aided Deductive Safety Proof for a Powertrain Control ...

Math. Ges. Hamburg: Veranstaltungen

www.math.uni-hamburg.de

11:00 Kaffepause: 11:30 Andre Platzer: Ein Beitrag enes Ehemaligen im Bereich informationstechnischer Forschung -- Wie gut sind selbstfahrende Autos?

Method For Verifying Safety Of Computer-controlled Devices Developed...

www.sciencedaily.com

Researchers have developed a new method for systematically identifying bugs in aircraft collision avoidance systems, high-speed train controls and other...

Verwandte Suchanfragen zu Andre Platzer

Edmund Clarke
Gilles Barthe

Person "Platzer" (5)
Vorname "Andre" (31075)
Name "Platzer" (554)

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 Andre Platzer