Publikationen

Zeige Ergebnisse 1 bis 10 von 41

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: Forum on Specification & Design Languages (FDL). Forum on Specification & Design Languages (FDL-2020) September 15-17 Kiel Germany 2020.

Zur Publikation

In: 30th ACM Great Lakes Symposium on VLSI (GLSVLSI). ACM Great Lakes Symposium on VLSI (GLSVLSI-2020) Peking China 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

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: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2020) July 6-8 Limassol Cyprus 2020.

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

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