Testing times : on model-driven test generation for non-deterministic real-time systems

E. Brinksma

    Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

    Originele taal-2Engels
    TitelProceedings 4th International Conference on Application of Concurrency to System Design (ACSD 2004, Hamilton, Canada, June 16-18, 2004)
    UitgeverijIEEE Computer Society
    Pagina's3-4
    ISBN van geprinte versie0-7695-2077-4
    DOI's
    StatusGepubliceerd - 2004

    Citeer dit