Specification and Analysis of Soft Real-Time Systems: Quantity and Quality.

Pedro R. D'Argenio Joost-Pieter Katoen Ed Brinksma

Published in: RTSS (1999)

Keyphrases

real time systems
embedded systems
response time
real time
high quality