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.

@inproceedings{StuartC91,
  title = {Clairvoyance, Capricious Timing Faults, Causality, and Real-Time Specifications},
  author = {Douglas A. Stuart and Paul C. Clements},
  year = {1991},
  tags = {C++},
  researchr = {https://researchr.org/publication/StuartC91},
  cites = {0},
  citedby = {0},
  pages = {254-263},
  booktitle = {IEEE Real-Time Systems Symposium},
}