Specification and analysis of soft real-time systems : quantity and quality

P.R. D'Argenio, J.P. Katoen, E. Brinksma

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings 20th IEEE Real-Time Systems Symposium (RTSS 1999, Phoenix AZ, USA, December 1-3, 1999)
Publisher	IEEE Computer Society
Pages	104-114
DOIs	https://doi.org/10.1109/REAL.1999.818832
Publication status	Published - 1999

Access to Document

@inproceedings{d954a8758e8240e8840071739f6231fa,

title = "Specification and analysis of soft real-time systems : quantity and quality",

author = "P.R. D'Argenio and J.P. Katoen and E. Brinksma",

year = "1999",

doi = "10.1109/REAL.1999.818832",

language = "English",

pages = "104--114",

booktitle = "Proceedings 20th IEEE Real-Time Systems Symposium (RTSS 1999, Phoenix AZ, USA, December 1-3, 1999)",

publisher = "IEEE Computer Society",

address = "United States",

}

Specification and analysis of soft real-time systems : quantity and quality. / D'Argenio, P.R.; Katoen, J.P.; Brinksma, E.
Proceedings 20th IEEE Real-Time Systems Symposium (RTSS 1999, Phoenix AZ, USA, December 1-3, 1999). IEEE Computer Society, 1999. p. 104-114.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Specification and analysis of soft real-time systems : quantity and quality

AU - D'Argenio, P.R.

AU - Katoen, J.P.

AU - Brinksma, E.

PY - 1999

Y1 - 1999

U2 - 10.1109/REAL.1999.818832

DO - 10.1109/REAL.1999.818832

M3 - Conference contribution

SP - 104

EP - 114

BT - Proceedings 20th IEEE Real-Time Systems Symposium (RTSS 1999, Phoenix AZ, USA, December 1-3, 1999)

PB - IEEE Computer Society

ER -