EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Lindsay, P.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 1.

2002

Hermanns, H. (2002) On Combining Functional Verification and Performance Evaluation Using CADP. In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, July 22-24, 2002, Copenhagen, Denmark. pp. 410-429. Lecture Notes in Computer Science 2391. Springer-Verlag. ISBN 3-540-43928-5

This list was generated on Mon Mar 20 03:09:55 CET 2017.