IEEE - Institute of Electrical and Electronics Engineers, Inc. - Specification and analysis of soft real-time systems: quantity and quality

Proceedings 20th IEEE Real-Time Systems. Symposium

Author(s): D'Argenio, P.R. ; Katoen, J.-P. ; Brinksma, E.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Phoenix, AZ, USA, USA
Conference Date: 1 December 1999
Page(s): 104 - 114
ISBN (Paper): 0-7695-0475-2
ISSN (Paper): 1052-8725
DOI: 10.1109/REAL.1999.818832
Regular:

This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arbitrary... View More

Advertisement