Publikationen

Zeige Ergebnisse 1 bis 10 von 19

In: 26th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2021) January 18-21 Tokyo Japan 2021.

Zur Publikation

In: 38th IEEE International Conference on Computer Design (ICCD). IEEE International Conference on Computer Design (ICCD-2020) October 18-21 Hartford United States 2020.

Zur Publikation

In: 9th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA). International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA-2020) October 20-24 Rhodes Greece 2020.

Zur Publikation

In: 18ᵗʰ International Symposium on Automated Technology for Verification and Analysis. International Symposium on Automated Technology for Verification and Analysis (ATVA-2020) October 19-23 Hanoi Vietnam 2020.

Zur Publikation

In: 57th Design Automation Conference. Design Automation Conference (DAC-2020) July 19-23 San Francisco United States 2020.

Zur Publikation

In: 57th Design Automation Conference. Design Automation Conference (DAC-2020) July 19-23 San Francisco United States 2020.

Zur Publikation

In: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2020) September 15-17 Kiel Germany 2020.

Zur Publikation

In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2020) March 19-20 Stuttgart Germany 2020.

Zur Publikation

In: Languages, Design Methods, and Tools for Electronic System Design: Selected Contributions from FDL 2018. Seiten 115-134 Springer 2020.

Zur Publikation

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