Skip to main navigation Skip to search Skip to main content

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 proceeding › Conference paper › peer-review

Search results

  • Finished

    EU - Prosyd - Property-Based System Design

    Jobstmann, B. (Attendee / Assistant), Bloem, R. (Project manager), Pill, I. H. (Attendee / Assistant), Griesmayer, A. (Attendee / Assistant) & Staber, S. S. (Attendee / Assistant)

    1/01/04 → 31/12/06

    Project: Research project