Applying verification methods to nonexhaustive verification of software/hardware systems

M.C.W. Geilen, D.R. Dams, J.P.M. Voeten

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Applying verification methods to nonexhaustive verification of software/hardware systems'. Samen vormen ze een unieke vingerafdruk.

    Computer Science