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

Douglas A. Stuart Paul C. Clements

Published in: RTSS (1991)

Keyphrases

real time
vision system
fault diagnosis
control system
low cost
high level
artificial intelligence
fault detection
specification language
computer vision
moving target
root cause
asynchronous circuits