Formal analysis of hardware requirements

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationDesign Automation Conference
PublisherAssociation of Computing Machinery
Pages821-826
ISBN (Print)1-59593-381-6
Publication statusPublished - 2006

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application

Cite this