Publikationen

Zeige Ergebnisse 1 bis 4 von 4

In: Design Automation Conference (DAC). Design Automation Conference (DAC-2019) June 2-6 Las Vegas Nevada United States 2019.

Zur Publikation

In: 17th International Conference on FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS (FORMATS). International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS-2019) August 27-29 Amsterdam Netherlands 2019.

Zur Publikation

In: 5th Workshop on Design Automation for Understanding Hardware Designs (DUHDe). Workshop on Design Automation for Understanding Hardware Designs (DUHDe-05) 5th March 19-23 Dresden Germany 2018.

Zur Publikation

In: 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS). International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS-15) 15th September 5-7 Berlin Germany 2017.

Zur Publikation

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