Formal analysis of hardware requirements

Ingo Hans Pill, Roderick Paul Bloem, Simone Semprini, Marco Roveri, Alessandro Cimatti, Roberto Cavada

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

Originalspracheenglisch
TitelDesign Automation Conference
Herausgeber (Verlag)Association of Computing Machinery
Seiten821-826
ISBN (Print)1-59593-381-6
PublikationsstatusVeröffentlicht - 2006

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application

Dieses zitieren