Protocol visualization of Estelle specifications

被引：0
|
作者：
机构：
来源：
| 1600年 / Publ by Elsevier Science Publishers B.V., Amsterdam, Neth卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] PROTOCOL VISUALIZATION IN ESTELLE
    AMER, PD
    NEW, D
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1993, 25 (07): : 741 - 760
  • [2] Verifying Estelle protocol specifications using Numerical Petri Nets
    Lai, R
    Jirachiefpattana, A
    [J]. COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 1996, 11 (01): : 15 - 33
  • [3] Transformation of Lotos specifications to Estelle specifications
    ElGendy, H
    Baraka, H
    [J]. SECOND IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, PROCEEDINGS, 1997, : 215 - 220
  • [4] Transformation of estelle specifications to Lotos specifications
    El-Gendy, H
    El-Sayed, H
    Fayez, AW
    [J]. INTERNATIONAL SOCIETY FOR COMPUTERS AND THEIR APPLICATIONS 13TH INTERNATIONAL CONFERENCE ON COMPUTERS AND THEIR APPLICATIONS, 1998, : 82 - 84
  • [5] ANALYSIS OF ESTELLE SPECIFICATIONS
    THALMANN, U
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 335 : 335 - 352
  • [6] Formal method for automated transformation of lotos specifications to estelle specifications
    El-Gendy, H
    El-Kadhi, N
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2005, 15 (05) : 873 - 891
  • [7] Mutation testing applied to estelle specifications
    de Souza, SDS
    Maldonado, JC
    Fabbri, SCPF
    de Souza, WL
    [J]. SOFTWARE QUALITY JOURNAL, 1999, 8 (04) : 285 - 301
  • [8] Mutation Testing Applied to Estelle Specifications
    Senger De Souza, Simone Do Rocio
    Maldonado, José Carlos
    Fabbri, Sandra Camargo Pinto Ferraz
    Lopes De Souza, Wanderley
    [J]. Software Quality Journal, 1999, 8 (04): : 285 - 301
  • [9] Mutation Testing Applied to Estelle Specifications
    Simone do Rocio Senger de Souza
    José Carlos Maldonado
    Sandra Camargo Pinto Ferraz Fabbri
    Wanderley Lopes de Souza
    [J]. Software Quality Journal, 1999, 8 : 285 - 301
  • [10] Creation of Estelle Specifications Using Predicate Logic
    Budnikas, Germanas
    Lozovski, Tadeus
    Seibak, Miroslav
    [J]. INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2012, 12 (12): : 129 - 135
12345