ABSTRACTIONS OF FINITE-STATE MACHINES OPTIMAL WITH RESPECT TO SINGLE UNDETECTABLE OUTPUT FAULTS

被引：0

|

作者：

OIKONOMOU, KN

机构：

来源：

IEEE TRANSACTIONS ON COMPUTERS | 1987年 / 36卷 / 02期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：185 / 200

页数：16

相关论文

共 50 条

[21] COMMENTS ON SINGLE-CHANNEL AND MULTICHANNEL FINITE-STATE MACHINES
RICCO, R
IEEE TRANSACTIONS ON COMPUTERS, 1972, C 21 (11) : 1247 - &
[22] Minimization of mealy finite-state machines by using the values of the output variables for state assignment
V. V. Solov’ev
Journal of Computer and Systems Sciences International, 2017, 56 : 96 - 104
[23] The state reduction of nondeterministic finite-state machines
Damiani, M
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1997, 16 (11) : 1278 - 1291
[24] LANG - algorithm for constructing unique input/output sequences in finite-state machines
Ahmad, I
Ali, FM
Das, AS
IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2004, 151 (02): : 131 - 140
[25] On test generation for interconnected finite-state machines - The output sequence justification problem
Pomeranz, I
Reddy, SM
EUROPEAN DESIGN & TEST CONFERENCE 1996 - ED&TC 96, PROCEEDINGS, 1996, : 380 - 385
[26] MINIMAL INPUT-MEMORY AND OUTPUT-MEMORY FINITE-STATE MACHINES
VAIRAVAN, K
IEEE TRANSACTIONS ON COMPUTERS, 1972, C 21 (06) : 598 - &
[27] In vitro implementation of finite-state machines
Garzon, M
Gao, Y
Rose, JA
Murphy, RC
Deaton, R
Franceschetti, DR
Stevens, SE
AUTOMATA IMPLEMENTATION, 1998, 1436 : 56 - 74
[28] POLYNOMIAL REPRESENTATION OF FINITE-STATE MACHINES
HUNT, BR
IEEE TRANSACTIONS ON SYSTEMS SCIENCE AND CYBERNETICS, 1969, SSC5 (01): : 94 - &
[29] Model matching for finite-state machines
Di Benedetto, MD
Sangiovanni-Vincentelli, A
Villa, T
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (11) : 1726 - 1743
[30] CHEMICAL IMPLEMENTATION OF FINITE-STATE MACHINES
HJELMFELT, A
WEINBERGER, ED
ROSS, J
PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 1992, 89 (01) : 383 - 387

← 1 2 3 4 5 →