Publikationen

Zeige Ergebnisse 1 bis 10 von 27

In: International Symposium on Multiple-Valued Logic. International Symposium on Mathematical Foundations of Computer Science (MFCS) Seiten 328-333 IEEE 2013.

Zur Publikation

In: 12th Workshop on Model-Driven Engineering, Verification, and Validation. Workshop on Model-Driven Engineering, Verification, and Validation (MoDeVVa-12) 12th MODELS 2015 September 29-29 Ottawa ON Canada 2015.

Zur Publikation

In: Proceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design. IEEE/ACM International Conference on Computer-Aided Design (ICCAD-14) November 3-7 San Jose CA United States Seiten 586-590 ISBN 978-1-4799-6277-8 IEEE Press 2015.

Zur Publikation

In: CPS20: CPS 20 years from now - visions and challenges - CyPhERS 2nd Experts Workshop. CyPhERS Experts Workshop April 14-14 Berlin Germany Seiten 4-7 4/2014.

Zur Publikation

In: Proceedings of the 1st Workshop on Design Automation for Understanding Hardware Designs DUHDe 2014. Workshop on Design Automation for Understanding Hardware Designs (DUHDe-14) DATE 2014 March 28 Dresden Germany IEEE 2014.

Zur Publikation

In: Models, Methods, and Tools for Complex Chip Design: Selected Contributions from FDL 2012. Seiten 37-52 Springer 2014.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence