N-FAIL-SAFE LOGICAL SYSTEMS

被引:4
作者
TAKAOKA, T
MINE, H
机构
关键词
D O I
10.1109/T-C.1971.223287
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:536 / &
相关论文
共 10 条
[1]  
HASHIMOTO N, 1967, J I ELECTRON COMMUN, V50, P680
[2]  
HIRAYAMA H, 1969, J I ELECTRON COMMU C, V52, P33
[3]  
KLEENE SC, 1962, INTRODUCTION META MA
[4]  
MALEY GA, 1963, LOGICAL DESIGN TRANS
[5]  
MINE H, 1967, IEEE T ELECTRON COMP, VEC16, P282
[6]  
MUKAIDONO M, 1970, PRIVATE COMMUNICATIO
[7]  
NEUMANN JV, 1956, AUTOMATA STUDIES, P43
[8]  
Quine W.V., 1952, AM MATH MON, V59, P521
[9]  
WATANABE T, 1966, I ELECTRON COMMUN EN
[10]   APPLICATION OF TERNARY ALGEBRA TO STUDY OF STATIC HAZARDS [J].
YOELI, M ;
RINON, S .
JOURNAL OF THE ACM, 1964, 11 (01) :84-&