A formal model of clock domain crossing and automated verification of time-triggered hardware

J. Schmaltz

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    17 Citaten (Scopus)
    Originele taal-2Engels
    TitelFormal Methods in Computer-Aided Design (7th International Conference, FMCAD'07, Austin TX, USA, November 11-14, 2007. Proceedings)
    UitgeverijIEEE Computer Society
    Pagina's223-230
    DOI's
    StatusGepubliceerd - 2007

    Citeer dit