Applying verification methods to non-exhaustive verification of software/hardware systems

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Originele taal-2Engels
    TitelProc. CSSP-98, 9th Annual ProRISC/IEEE Workshop on Circuits, Systems and Signal Processing
    RedacteurenJ.P. Veen
    Plaats van productieUtrecht, Netherlands
    UitgeverijSTW Technology Foundation
    Pagina's177-183
    ISBN van geprinte versie90-73461-15-4
    StatusGepubliceerd - 1998
    Evenementconference; Proc. CSSP98, Mierlo, Netherlands, 25-27 November 1998 - Mierlo
    Duur: 1 jan. 199827 nov. 1998

    Congres

    Congresconference; Proc. CSSP98, Mierlo, Netherlands, 25-27 November 1998
    Verkorte titelCSSP/98
    StadMierlo
    Periode1/01/9827/11/98
    AnderProc. CSSP98, Mierlo, Netherlands, 25-27 November 1998

    Citeer dit