On Combining Functional Verification and Performance Evaluation Using CADP

H. Hermanns, H Garavel

    Research output: Contribution to journalArticleAcademicpeer-review

    Original languageUndefined
    Pages (from-to)410-429
    JournalLecture notes in artificial intelligence
    Volume2391
    Publication statusPublished - 2002

    Keywords

    • METIS-211489

    Cite this