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. Pages 101-112, Springer, 2016.

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