A formalism for monitoring real-time constraints at run-time
- Farnam Jahanian
- Ambuj Goyal
- 1990
- FTCS 1990
Conference paper
Publications
3 results at FTCS 1990
Fault-tolerance in the Advanced Automation System
- Flaviu Cristian
- Bob Dancey
- et al.
- 1990
- FTCS 1990
Conference paperFast simulation of dependability models with general failure, repair and maintenance processes
- Victor Nicola
- Marvin K. Nakayama
- et al.
- 1990
- FTCS 1990
Conference paper