Hiromi Hiraishi

Learn More
This paper presents a general method for computing quantitative information about finite-state real-time systems. We have developed algorithms that compute exact bounds on the delay between two speci$ed events and on the number of occurrences of an event in a given interval. This technique allows us to determine performance measures such as schedulability(More)