Formal analysis of hardware requirements

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

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Design Automation Conference
Herausgeber (Verlag)	Association of Computing Machinery
Seiten	821-826
ISBN (Print)	1-59593-381-6
Publikationsstatus	Veröffentlicht - 2006

Treatment code (Nähere Zuordnung)

EU - Prosyd - Property-Based System Design
Pill, I. H., Staber, S. S., Griesmayer, A., Jobstmann, B. & Bloem, R.
1/01/04 → 31/12/06
Projekt: Forschungsprojekt

@inproceedings{43fe5ff277af403784089ae7b9b58bde,

title = "Formal analysis of hardware requirements",

author = "Pill, {Ingo Hans} and Bloem, {Roderick Paul} and Simone Semprini and Marco Roveri and Alessandro Cimatti and Roberto Cavada",

year = "2006",

language = "English",

isbn = "1-59593-381-6",

pages = "821--826",

booktitle = "Design Automation Conference",

publisher = "Association of Computing Machinery",

address = "United States",

}