“ELEKTRA” : A SYSTEM ARCHITECTURE THAT APPLIES NEW PRINCIPLES TO ELECTRONIC INTERLOCKING
暂无分享,去创建一个
[1] N. Theuretzbacher. HCDM: A Hierarchical Design Method for Chill Based Systems , 1986 .
[2] M. Mulazzani. Reliability Versus Safety , 1985 .
[3] P. M. Melliar-Smith,et al. A program structure for error detection and recovery , 1974, Symposium on Operating Systems.
[4] Charles L. Forgy,et al. Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..
[5] A.L. Hopkins,et al. FTMP—A highly reliable fault-tolerant multiprocess for aircraft , 1978, Proceedings of the IEEE.