FORMAL TECHNIQUES FOR PROTOCOL SPECIFICATION AND VERIFICATION

被引：0

|

作者：

SUNSHINE, C

机构：

来源：

COMPUTER | 1979年 / 12卷 / 09期

关键词：

D O I：

暂无

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：20 / 27

页数：8

相关论文

共 50 条

[1] Formal specification and verification of a micropayment protocol
Gouda, MG
Liu, AX
[J]. ICCCN 2004: 13TH INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATIONS AND NETWORKS, PROCEEDINGS, 2004, : 489 - 494
[2] FORMAL TECHNIQUES FOR SYSTEMS SPECIFICATION AND VERIFICATION
CARMO, J
SERNADAS, A
[J]. INFORMATION SYSTEMS, 1991, 16 (03) : 245 - 272
[3] Formal Specification and Verification of Transmission Control Protocol
Jarrar, Abdessamad
Bellasri, Otman
Chougdali, Sallami
Balouki, Youssef
[J]. ICCWCS'17: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTING AND WIRELESS COMMUNICATION SYSTEMS, 2017,
[4] Formal hardware specification languages for protocol compliance verification
Bunker, A
Gopalakrishnan, G
Mckee, SA
[J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2004, 9 (01) : 1 - 32
[5] Formal specification and verification of the SET/A protocol with an integrated approach
Lam, VSW
Padget, J
[J]. CEC 2004: IEEE INTERNATIONAL CONFERENCE ON E-COMMERCE TECHNOLOGY, PROCEEDINGS, 2004, : 229 - 235
[6] FORMAL SPECIFICATION AND COMPOSITIONAL VERIFICATION OF AN ATOMIC BROADCAST PROTOCOL
ZHOU, P
HOOMAN, J
[J]. REAL-TIME SYSTEMS, 1995, 9 (02) : 119 - 145
[7] FORMAL TECHNIQUES FOR THE SPECIFICATION, VERIFICATION AND CONSTRUCTION OF COMMUNICATION PROTOCOLS
CHOI, TY
[J]. IEEE COMMUNICATIONS MAGAZINE, 1985, 23 (10) : 46 - 52
[8] FORMAL SPECIFICATION AND VERIFICATION TECHNIQUES FOR RISC PIPELINE CONFLICTS
TAHAR, S
KUMAR, R
[J]. COMPUTER JOURNAL, 1995, 38 (02): : 111 - 120
[9] Formal Specification and Verification of JXTA's Endpoint Routing Protocol
Konga, Yannick L. Kala
Djouani, Karim
[J]. IEEE AFRICON 2011, 2011,
[10] FORMAL SPECIFICATION AND VERIFICATION OF A PROCEDURAL PROTOCOL - CASE-STUDY
LAI, R
[J]. SOFTWARE ENGINEERING JOURNAL, 1995, 10 (03): : 97 - 104

← 1 2 3 4 5 →