Publication

Entwurf cyber-physikalischer Systeme hoher Qualität und Sicherheit

Mathias Soeken, Christoph Lüth, Rolf Drechsler

In: Electronic Design Automation Workshop - Proceedings. Electronic Design Automation Workshop (edaWorkshop-14) May 13-15 Warschau Poland VDE 2014.

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