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

    @article{9a213012edb04c78881ccf9f3bfe0483,
    title = "On Combining Functional Verification and Performance Evaluation Using CADP",
    keywords = "METIS-211489",
    author = "H. Hermanns and H Garavel",
    note = "Boektitel: Formal Methods Europe",
    year = "2002",
    language = "Undefined",
    volume = "2391",
    pages = "410--429",
    journal = "Lecture Notes in Computer Science",
    issn = "0302-9743",
    publisher = "Springer",

    }

    On Combining Functional Verification and Performance Evaluation Using CADP. / Hermanns, H.; Garavel, H.

    In: Lecture notes in artificial intelligence, Vol. 2391, 2002, p. 410-429.

    Research output: Contribution to journalArticleAcademicpeer-review

    TY - JOUR

    T1 - On Combining Functional Verification and Performance Evaluation Using CADP

    AU - Hermanns, H.

    AU - Garavel, H

    N1 - Boektitel: Formal Methods Europe

    PY - 2002

    Y1 - 2002

    KW - METIS-211489

    M3 - Article

    VL - 2391

    SP - 410

    EP - 429

    JO - Lecture Notes in Computer Science

    JF - Lecture Notes in Computer Science

    SN - 0302-9743

    ER -