Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision

Beitrag in einem Sammelwerk
(Buchkapitel)


Details zur Publikation

Autor(en): Keszöcze O, Wille R
Herausgeber: Frank Oppenheimer, Julio Luis Medina Pasaje
Titel Sammelwerk: Languages, Design Methods, and Tools for Electronic System Design
Jahr der Veröffentlichung: 2016
Titel der Reihe: Lecture Notes in Electrical Enginieering
Seitenbereich: 101 - 112
ISBN: 978-3-319-24457-0
Sprache: Englisch


Abstract

This book brings together a selection of the best papers from the
seventeenth edition of the Forum on specification and Design Languages
Conference (FDL), which took place on October 14-16, 2014, in Munich,
Germany. FDL is a well-established international forum devoted to
dissemination of research results, practical experiences and new ideas
in the application of specification, design and verification languages
to the design, modeling and verification of integrated circuits, complex
hardware/software embedded systems, and mixed-technology systems.


FAU-Autoren / FAU-Herausgeber

Keszöcze, Oliver Prof. Dr.
Juniorprofessur für Informatik


Autor(en) der externen Einrichtung(en)
Johannes Kepler Universität (JKU) Linz


Zitierweisen

APA:
Keszöcze, O., & Wille, R. (2016). Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision. In Frank Oppenheimer, Julio Luis Medina Pasaje (Eds.), Languages, Design Methods, and Tools for Electronic System Design (pp. 101 - 112).

MLA:
Keszöcze, Oliver, and Robert Wille. "Exploiting Electronic Design Automation for Checking Legal Regulations: A Vision." Languages, Design Methods, and Tools for Electronic System Design Ed. Frank Oppenheimer, Julio Luis Medina Pasaje, 2016. 101 - 112.

BibTeX: 

Zuletzt aktualisiert 2018-28-09 um 13:53