Automated performance and dependability evaluation using model checking

C Baier, Boudewijn R.H.M. Haverkort, H. Hermanns, Joost P. Katoen

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

Original languageEnglish
Title of host publicationLecture Notes in Computer Science 2459: Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
EditorsMariacarla Calzarossa, Salvatore Tucci
Place of PublicationRome, Italy
PublisherSpringer
Pages-
ISBN (Print)3-540-44252-9
Publication statusPublished - 2002
Externally publishedYes

Keywords

  • METIS-208720

Cite this

Baier, C., Haverkort, B. R. H. M., Hermanns, H., & Katoen, J. P. (2002). Automated performance and dependability evaluation using model checking. In M. Calzarossa, & S. Tucci (Eds.), Lecture Notes in Computer Science 2459: Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures (pp. -). Rome, Italy: Springer.
Baier, C ; Haverkort, Boudewijn R.H.M. ; Hermanns, H. ; Katoen, Joost P. / Automated performance and dependability evaluation using model checking. Lecture Notes in Computer Science 2459: Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures. editor / Mariacarla Calzarossa ; Salvatore Tucci. Rome, Italy : Springer, 2002. pp. -
@inbook{e536d9f18a044178a93714619460be98,
title = "Automated performance and dependability evaluation using model checking",
keywords = "METIS-208720",
author = "C Baier and Haverkort, {Boudewijn R.H.M.} and H. Hermanns and Katoen, {Joost P.}",
year = "2002",
language = "English",
isbn = "3-540-44252-9",
pages = "--",
editor = "Mariacarla Calzarossa and Salvatore Tucci",
booktitle = "Lecture Notes in Computer Science 2459: Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures",
publisher = "Springer",

}

Baier, C, Haverkort, BRHM, Hermanns, H & Katoen, JP 2002, Automated performance and dependability evaluation using model checking. in M Calzarossa & S Tucci (eds), Lecture Notes in Computer Science 2459: Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures. Springer, Rome, Italy, pp. -.

Automated performance and dependability evaluation using model checking. / Baier, C; Haverkort, Boudewijn R.H.M.; Hermanns, H.; Katoen, Joost P.

Lecture Notes in Computer Science 2459: Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures. ed. / Mariacarla Calzarossa; Salvatore Tucci. Rome, Italy : Springer, 2002. p. -.

Research output: Chapter in Book/Report/Conference proceedingChapterScientificpeer-review

TY - CHAP

T1 - Automated performance and dependability evaluation using model checking

AU - Baier, C

AU - Haverkort, Boudewijn R.H.M.

AU - Hermanns, H.

AU - Katoen, Joost P.

PY - 2002

Y1 - 2002

KW - METIS-208720

M3 - Chapter

SN - 3-540-44252-9

SP - -

BT - Lecture Notes in Computer Science 2459: Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures

A2 - Calzarossa, Mariacarla

A2 - Tucci, Salvatore

PB - Springer

CY - Rome, Italy

ER -

Baier C, Haverkort BRHM, Hermanns H, Katoen JP. Automated performance and dependability evaluation using model checking. In Calzarossa M, Tucci S, editors, Lecture Notes in Computer Science 2459: Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures. Rome, Italy: Springer. 2002. p. -