Files
Details
Title
Leveraging Formal Verification Throughout the Entire Design Cycle
Author(s)
Jobstmann, Barbara
Conference
Design Verification Club Europe (DVClub 2012), November 21, 2012
Date
2012
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC - Unattributed publications
Scientific production and competences > Unattributed publications > IC - IC - Unattributed publications
Presentations & Talks
Work outside EPFL
Published
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC - Unattributed publications
Scientific production and competences > Unattributed publications > IC - IC - Unattributed publications
Presentations & Talks
Work outside EPFL
Published
Record creation date
2023-02-22