FINITE STATE MACHINES ARE FINE BY ME

被引：0
|
作者：
TILTON, DS
机构：
来源：
DR DOBBS JOURNAL | 1989年 / 14卷 / 11期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：12 / &
相关论文
共 50 条
  • [21] Stochastic testing of finite state machines
    Hadjicostis, CN
    PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 4568 - 4573
  • [22] Lossy communicating finite state machines
    Peng, WX
    6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL X, PROCEEDINGS: MOBILE/WIRELESS COMPUTING AND COMMUNICATION SYSTEMS II, 2002, : 37 - 42
  • [23] INVERSES AND ADJOINTS OF FINITE STATE MACHINES
    PORTER, WA
    INTERNATIONAL JOURNAL OF CONTROL, 1977, 25 (02) : 201 - 211
  • [24] Products of fuzzy finite state machines
    Malik, DS
    Mordeson, JN
    Sen, MK
    FUZZY SETS AND SYSTEMS, 1997, 92 (01) : 95 - 102
  • [25] Supervisory control of finite state machines
    Aziz, A
    Balarin, F
    Brayton, RK
    DiBenedetto, MD
    Saldanha, A
    COMPUTER AIDED VERIFICATION, 1995, 939 : 279 - 292
  • [26] Stability of deterministic finite state machines
    Tarraf, DC
    Dahleh, MA
    Megretski, A
    ACC: PROCEEDINGS OF THE 2005 AMERICAN CONTROL CONFERENCE, VOLS 1-7, 2005, : 3932 - 3936
  • [27] Refinement of finite-state machines
    Li, HW
    Min, YH
    Li, ZC
    CAD/GRAPHICS '2001: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN AND COMPUTER GRAPHICS, VOLS 1 AND 2, 2001, : 624 - 629
  • [28] ON THE STRUCTURE OF FREE FINITE STATE MACHINES
    BEYNON, WM
    THEORETICAL COMPUTER SCIENCE, 1980, 11 (02) : 167 - 180
  • [29] Structural decomposition of finite state machines
    Bukowiec, Arkadiusz
    Barkalov, Alexander
    INTERNATIONAL JOURNAL OF ELECTRONICS AND TELECOMMUNICATIONS, 2009, 55 (02) : 243 - 267
  • [30] Incremental testing of finite state machines
    Chaves Pedrosa, Lehilton Lelis
    Moura, Arnaldo Vieira
    SOFTWARE TESTING VERIFICATION & RELIABILITY, 2013, 23 (08): : 585 - 612
12345