Protocol visualization of Estelle specifications

被引：0

|

作者：

机构：

来源：

| 1600年 / Publ by Elsevier Science Publishers B.V., Amsterdam, Neth卷

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[41] Deriving protocol specifications from service specifications written in LOTOS
Universite de Montreal, Montreal, Canada
[J]. Distrib Comput, 1 (29-47):
[42] Deriving protocol specifications from service specifications written in LOTOS
Kant, C
Higashino, T
vonBochmann, G
[J]. DISTRIBUTED COMPUTING, 1996, 10 (01) : 29 - 47
[43] DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS INCLUDING MULTIRENDEZVOUS
KAPUSKOLAR, M
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 369 - 374
[44] NEW RESULTS ON DERIVING PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS
KHENDEK, F
VONBOCHMANN, G
KANT, C
[J]. COMMUNICATIONS ARCHITECTURES & PROTOCOLS: SIGCOMM 89 SYMPOSIUM, 1989, 19 : 136 - 145
[45] An Estelle-based Probabilistic Partial Timed Protocol verification system
Huang, CM
Hsu, JM
[J]. SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 2000, : 83 - 90
[46] EPVD - AN INTERACTIVE PROTOCOL SPECIFICATION AND VALIDATION ENVIRONMENT IN ESTELLE FORMAL SPECIFICATION
HUANG, KC
NAIN, TS
HSIEH, WS
YANG, CS
LU, CS
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1992, 35 (1-5): : 71 - 77
[47] 'ESTELLE'
ANGOFF, C
[J]. LITERARY REVIEW, 1975, 18 (02) : 209 - 210
[48] Comments on deriving protocol specifications from service specifications written in LOTOS
Monika Kapus-Kolar
[J]. Distributed Computing, 1999, 12 : 175 - 177
[49] SYNTHESIS OF ERROR-RECOVERABLE PROTOCOL SPECIFICATIONS FROM SERVICE SPECIFICATIONS
SALEH, K
PROBERT, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 468 : 415 - 424
[50] Comments on deriving protocol specifications from service specifications written in LOTOS
Kapus-Kolar, M
[J]. DISTRIBUTED COMPUTING, 1999, 12 (04) : 175 - 177

← 1 2 3 4 5 →