A Framework for Reasoning about Time and Reliability

Hans Hansson, Bengt Jonsson. A Framework for Reasoning about Time and Reliability. In IEEE Real-Time Systems Symposium. pages 102-111, 1989.

Abstract

Abstract is missing.