Skip to main navigation
Skip to search
Skip to main content
Home
Profiles
Research Units
Research output
Datasets
Activities
Prizes
Press / Media
Search by expertise, name or affiliation
On Combining Functional Verification and Performance Evaluation Using CADP
H. Hermanns (Speaker)
Activity
:
Talk or presentation
›
Oral presentation
Description
Plaats van uitgifte: Copenhagen, Denmark
Period
23 Jul 2002
Held at
University of Copenhagen
, Denmark
Keywords
METIS-209203