Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications

Douglas A. Stuart, Paul C. Clements. Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications. In IEEE Real-Time Systems Symposium. pages 254-263, 1991.

Abstract

Abstract is missing.