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 条

[41] HEURISTIC PROCEDURE FOR REDUCTION OF FINITE-STATE MACHINES
STENTIFORD, FW
LEWIN, DW
ELECTRONICS LETTERS, 1971, 7 (23) : 700 - +
[42] Probabilistic finite-state machines - Part I
Vidal, E
Thollard, F
de la Higuera, C
Casacuberta, F
Carrasco, RC
IEEE TRANSACTIONS ON PATTERN ANALYSIS AND MACHINE INTELLIGENCE, 2005, 27 (07) : 1013 - 1025
[43] Verification of finite-state machines: A distributed approach
Gorrieri, Roberto
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 96 : 65 - 80
[44] High-speed finite-state machines
Hoff, B
DR DOBBS JOURNAL, 1997, 22 (11): : 54 - +
[45] Model reduction of finite-state machines by contraction
Giua, A
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2001, 46 (05) : 797 - 801
[46] SIMULATING CHAOTIC BEHAVIOR WITH FINITE-STATE MACHINES
BINDER, PM
JENSEN, RV
PHYSICAL REVIEW A, 1986, 34 (05) : 4460 - 4463
[47] PROVING PROPERTIES OF A RING OF FINITE-STATE MACHINES
SUZUKI, I
INFORMATION PROCESSING LETTERS, 1988, 28 (04) : 213 - 214
[48] SPECIFICATION AND SYNTHESIS OF COMMUNICATING FINITE-STATE MACHINES
BELHADJ, H
GERBAUX, L
BERTRAND, MC
SAUCIER, G
IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1993, 22 : 91 - 102
[49] THE CONCATENATION AND PARTITIONING OF LINEAR FINITE-STATE MACHINES
SUN, X
KONTOPIDI, E
SERRA, M
MUZIO, J
INTERNATIONAL JOURNAL OF ELECTRONICS, 1995, 78 (05) : 809 - 839
[50] Collapsing ε-loops in weighted finite-state machines
Johnson, J. Howard
FINITE-STATE METHODS AND NATURAL LANGUAGE PROCESSING, 2006, 4002 : 110 - 119

← 1 2 3 4 5 →