Parameterized Synthesis Case Study: AMBA AHB

Ayrat Khalimov, Roderick Paul Bloem, Swen Jacobs

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem Konferenzband

Originalspracheenglisch
TitelSYNT 2014
Herausgeber (Verlag).
Seiten68-83
DOIs
PublikationsstatusVeröffentlicht - 2014

Fields of Expertise

  • Information, Communication & Computing

Treatment code (Nähere Zuordnung)

  • Experimental

Dieses zitieren