A Framework for Reasoning about Time and Reliability.

Hans Hansson, Bengt Jonsson

Browse the full RTSS paper archive.