A Model Checker for Performance and Dependability Properties

H. Hermanns, Joost P. Katoen, J. Meyer-Kayser

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined
Title of host publicationProceedings of the 2nd Workshop on Embedded Systems
Place of PublicationVeldhoven, the Netherlands
PublisherSTW Technology Foundation
Pages-
Number of pages6
ISBN (Print)90-73461-27-X
Publication statusPublished - 2001
Event2nd PROGRESS Workshop on Embedded Systems 2001 - Veldhoven, Netherlands
Duration: 18 Oct 200118 Oct 2001
Conference number: 2

Workshop

Workshop2nd PROGRESS Workshop on Embedded Systems 2001
Abbreviated titlePROGRESS
CountryNetherlands
CityVeldhoven
Period18/10/0118/10/01

Keywords

  • METIS-203584

Cite this

Hermanns, H., Katoen, J. P., & Meyer-Kayser, J. (2001). A Model Checker for Performance and Dependability Properties. In Proceedings of the 2nd Workshop on Embedded Systems (pp. -). Veldhoven, the Netherlands: STW Technology Foundation.
Hermanns, H. ; Katoen, Joost P. ; Meyer-Kayser, J. / A Model Checker for Performance and Dependability Properties. Proceedings of the 2nd Workshop on Embedded Systems. Veldhoven, the Netherlands : STW Technology Foundation, 2001. pp. -
@inproceedings{d681dfa739ba43acbf3b502d6c0de182,
title = "A Model Checker for Performance and Dependability Properties",
keywords = "METIS-203584",
author = "H. Hermanns and Katoen, {Joost P.} and J. Meyer-Kayser",
year = "2001",
language = "Undefined",
isbn = "90-73461-27-X",
pages = "--",
booktitle = "Proceedings of the 2nd Workshop on Embedded Systems",
publisher = "STW Technology Foundation",

}

Hermanns, H, Katoen, JP & Meyer-Kayser, J 2001, A Model Checker for Performance and Dependability Properties. in Proceedings of the 2nd Workshop on Embedded Systems. STW Technology Foundation, Veldhoven, the Netherlands, pp. -, 2nd PROGRESS Workshop on Embedded Systems 2001, Veldhoven, Netherlands, 18/10/01.

A Model Checker for Performance and Dependability Properties. / Hermanns, H.; Katoen, Joost P.; Meyer-Kayser, J.

Proceedings of the 2nd Workshop on Embedded Systems. Veldhoven, the Netherlands : STW Technology Foundation, 2001. p. -.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

TY - GEN

T1 - A Model Checker for Performance and Dependability Properties

AU - Hermanns, H.

AU - Katoen, Joost P.

AU - Meyer-Kayser, J.

PY - 2001

Y1 - 2001

KW - METIS-203584

M3 - Conference contribution

SN - 90-73461-27-X

SP - -

BT - Proceedings of the 2nd Workshop on Embedded Systems

PB - STW Technology Foundation

CY - Veldhoven, the Netherlands

ER -

Hermanns H, Katoen JP, Meyer-Kayser J. A Model Checker for Performance and Dependability Properties. In Proceedings of the 2nd Workshop on Embedded Systems. Veldhoven, the Netherlands: STW Technology Foundation. 2001. p. -