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 artificial intelligence",
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 artificial intelligence

JF - Lecture notes in artificial intelligence

SN - 0302-9743

ER -