CHECKING EXPERIMENTS FOR SEQUENTIAL-MACHINES

被引：4

|

作者：

KOHAVI, Z

RIVIERRE, JA

KOHAVI, I

机构：

[1] TECHNION ISRAEL INST TECHNOL,DEPT ELECT ENGN,HAIFA,ISRAEL

[2] UNIV PARIS,PARIS,FRANCE

[3] TELRAD TELECOMMUN & ELECTR IND,LOD,ISRAEL

[4] TECHNION ISRAEL INST TECHNOL,DEPT COMP SCI,HAIFA,ISRAEL

来源：

INFORMATION SCIENCES | 1974年 / 7卷 / 01期

关键词：

D O I：

10.1016/0020-0255(74)90003-6

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：11 / 28

页数：18

相关论文

共 50 条

[1] CHECKING EXPERIMENTS FOR SEQUENTIAL-MACHINES - COMMENT
WAKIMURA, Y
YOSHIDA, N
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1975, 24 (11) : 1141 - 1142
[2] TOTALLY PRESET CHECKING EXPERIMENTS FOR SEQUENTIAL-MACHINES
LIN, GK
MENON, PR
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1983, 32 (02) : 101 - 108
[3] CHECKING EXPERIMENTS FOR STABLE MEMORY FAULTS IN SEQUENTIAL-MACHINES
FUJIWARA, H
KINOSHITA, K
[J]. JOURNAL OF DESIGN AUTOMATION & FAULT-TOLERANT COMPUTING, 1978, 2 (01): : 3 - 14
[4] OPTIMAL AND NEAR-OPTIMAL CHECKING EXPERIMENTS FOR OUTPUT FAULTS IN SEQUENTIAL-MACHINES
BOUTE, RT
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1974, C 23 (11) : 1207 - 1213
[5] TESTABLE DESIGN OF SINGLE-OUTPUT SEQUENTIAL-MACHINES USING CHECKING EXPERIMENTS
SALUJA, KK
DANDAPANI, R
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1986, 35 (07) : 658 - 662
[6] DESIGN OF SELF-CHECKING SEQUENTIAL-MACHINES
DHAWAN, S
DEVRIES, RC
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1988, 37 (10) : 1280 - 1284
[7] FUNCTIONAL CHECKING OF SOME TYPES OF LINEAR SEQUENTIAL-MACHINES
SPERANSKII, DV
[J]. AUTOMATION AND REMOTE CONTROL, 1994, 55 (06) : 885 - 888
[8] CHECKING EXPERIMENTS FOR SEQUENTIAL MACHINES
HSIEH, EP
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1971, C 20 (10) : 1152 - +
[9] PERIODICITY OF SEQUENTIAL-MACHINES
GUHA, RK
YEH, RT
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1974, 8 (01) : 41 - 70
[10] GAMES BETWEEN SEQUENTIAL-MACHINES
MARKO, F
[J]. COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1987, 6 (01): : 81 - 93

← 1 2 3 4 5 →