Distributed fault detection in communication protocols using extended finite state machines

被引：0
|
作者：
Vijayananda, K [1 ]
机构：
[1] SWISS FED INST TECHNOL,LAUSANNE,SWITZERLAND
来源：
1996 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS | 1996年
关键词：
D O I：
10.1109/ICPADS.1996.517577
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：310 / 318
页数：9
相关论文
共 50 条
  • [21] Testing Extended Finite State Machines using NSGA-III
    Turlea, Ana
    PROCEEDINGS OF THE 10TH ACM SIGSOFT INTERNATIONAL WORKSHOP ON AUTOMATING TEST CASE DESIGN, SELECTION, AND EVALUATION (A-TEST '19), 2019, : 1 - 7
  • [22] Amorphous Slicing of Extended Finite State Machines
    Androutsopoulos, Kelly
    Clark, David
    Harman, Mark
    Hierons, Robert M.
    Li, Zheng
    Tratt, Laurence
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2013, 39 (07) : 892 - 909
  • [23] Active learning for extended finite state machines
    Cassel, Sofia
    Howar, Falk
    Jonsson, Bengt
    Steffen, Bernhard
    FORMAL ASPECTS OF COMPUTING, 2016, 28 (02) : 233 - 263
  • [24] Control Dependence for Extended Finite State Machines
    Androutsopoulos, Kelly
    Clark, David
    Harman, Mark
    Li, Zheng
    Tratt, Laurence
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2009, 5503 : 216 - +
  • [25] Selective Fault Tolerance for Finite State Machines
    Augustin, Michael
    Goessel, Michael
    Kraemer, Rolf
    2011 IEEE 17TH INTERNATIONAL ON-LINE TESTING SYMPOSIUM (IOLTS), 2011,
  • [26] Integratf Pftri nfts and communicating finite state machines in the analysis of distributed communication systems
    Jiang, T.M.
    Singapore ICCS '90 - Conference Proceedings, 1990,
  • [27] Canonical finite state machines for distributed systems
    Hierons, Robert M.
    THEORETICAL COMPUTER SCIENCE, 2010, 411 (02) : 566 - 580
  • [28] Conversation detection in feature films using finite state machines
    Zhai, Y
    Rasheed, Z
    Shah, M
    PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON PATTERN RECOGNITION, VOL 4, 2004, : 458 - 461
  • [29] Using Change Impact Analysis to Select Tests for Extended Finite State Machines
    Subramaniam, Mahadevan
    Guo, Bo
    Pap, Zoltan
    SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 93 - +
  • [30] Fused State Machines for Fault Tolerance in Distributed Systems
    Balasubramanian, Bharath
    Garg, Vijay K.
    PRINCIPLES OF DISTRIBUTED SYSTEMS, 2011, 7109 : 266 - 282
12345