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 paperpeer-review

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

Treatment code (Nähere Zuordnung)

  • Theoretical
  • Application
  • EU - Prosyd - Property-Based System Design

    Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.


    Project: Research project

Cite this