Finite state machines

被引：0

作者：

Jonsson, B ^{[1
]}

机构：

[1] Uppsala Univ, Dept Comp Sci, S-75105 Uppsala, Sweden

来源：

MODEL-BASED TESTING OF REACTIVE SYSTEMS | 2005年 / 3472卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：611 / 614

页数：4

共 50 条

[1] Finite state machines
Carter, J
[J]. POWER ENGINEERING JOURNAL, 2001, 15 (01): : 15 - 15
[2] IN FINITE-STATE MACHINES, LIVING MACHINES
KRUGER, T
[J]. ARCHITECTURAL DESIGN, 1994, (111) : R14 - R15
[3] Finite Virtual State Machines
Senhadji-Navarro, Raouf
Garcia-Vargas, Ignacio
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2012, E95D (10): : 2544 - 2547
[4] FINITE STATE MACHINES FOR XMODEM
SMITH, DW
[J]. DR DOBBS JOURNAL, 1989, 14 (10): : 45 - &
[5] Learning Finite State Machines
de la Higuera, Colin
[J]. FINITE-STATE METHODS AND NATURAL LANGUAGE PROCESSING, 2010, 6062 : 1 - 10
[6] State assignment of finite-state machines
Ahmad, I
Dhodhi, MK
[J]. IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2000, 147 (01): : 15 - 22
[7] A state assignment algorithm for finite state machines
Skias, D
Haniotakis, T
Tsiatouhas, Y
Arapoyanni, A
[J]. ICECS 2000: 7TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS & SYSTEMS, VOLS I AND II, 2000, : 823 - 826
[8] OPTIMAL STATE ASSIGNMENT FOR FINITE STATE MACHINES
DEMICHELI, G
BRAYTON, RK
SANGIOVANNIVINCENTELLI, A
[J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1985, 4 (03) : 269 - 285
[9] CONTINUOUS STATE MODELS FOR FINITE STATE MACHINES
PORTER, WA
[J]. INTERNATIONAL JOURNAL OF CONTROL, 1977, 25 (02) : 165 - 183
[10] FINITE STATE MACHINES ARE FINE BY ME
TILTON, DS
[J]. DR DOBBS JOURNAL, 1989, 14 (11): : 12 - &