On Combining Functional Verification and Performance Evaluation Using CADP

  • H. Hermanns (Speaker)

    Activity: Talk or presentation › Oral presentation

    Description

    Plaats van uitgifte: Copenhagen, Denmark
    Period23 Jul 2002
    Held atUniversity of Copenhagen, Denmark

    Keywords

    • METIS-209203