A D-graph based approach for verifying response time of "critical" programs

G. Cantone, A. Esposito. A D-graph based approach for verifying response time of "critical" programs. Journal of Systems Architecture, 27(1-5):527-532, 1989. [doi]

Abstract

Abstract is missing.