Publikationen
Seite 8 von 8.
Vladimir Herdt; Hoang M. Le; Rolf Drechsler
In: Design Automation Conference (DAC). Design Automation Conference (DAC), June 7-11, San Francisco, USA, 2015.
Vladimir Herdt; Hoang M. Le; Daniel Große; Rolf Drechsler
In: Proceedings of ATVA 2015. International Symposium on Automated Technology for Verification and Analysis (ATVA-2015), October 12-15, Shanghai, …
Hoang M. Le; Daniel Große; Rolf Drechsler; Vladimir Herdt
In: Design Automation Conference. Design Automation Conference (DAC-13), June 2-6, Austin, TX, USA, IEEE, 2013.
Hoang m. Le; Daniel Große; Vladimir Herdt; Rolf Drechsler
In: Electronic Design Automation Workshop. Electronic Design Automation Workshop (edaWorkshop-13), May 14-16, Dresden, Germany, VDE, 2013.
Übersicht
Team
Projekte
News
Jobs
Website
Tel.: +49 421 1784 50 Fax: +49 421 1784 5415 0robotik@dfki.de Deutsches Forschungszentrum für Künstliche Intelligenz GmbH (DFKI) Robotics Innovation Center Robert-Hooke-Str. 1 28359 Bremen Deutschland