Publikation

Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision

Oliver Keszöcze, Robert Wille

In: Frank Oppenheimer , Julio Luis Medina Pasaje . Languages, Design Methods, and Tools for Electronic System Design. Seiten 101-112 Springer 2016.

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