Capturing Assumptions while Designing a Verification Model for Embedded Systems

J. Marincic, Angelika H. Mader, Roelf J. Wieringa

    Research output: Book/ReportReportProfessional

    30 Downloads (Pure)

    Fingerprint

    Dive into the research topics of 'Capturing Assumptions while Designing a Verification Model for Embedded Systems'. Together they form a unique fingerprint.