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

22 Citations (Scopus)
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
ISBN (Print)3-540-44252-9
Publication statusPublished - 2002
Externally publishedYes


  • METIS-208720

Cite this