Protocol Specification, Testing and Verification, XII
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Elsevier

9780444898746

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Two-Dimensional Window Protocol

Protocol Specification, Testing and Verification, XII ◽

10.1016/b978-0-444-89874-6.50029-5 ◽

1992 ◽

pp. 365-379

Author(s):

Mohamed G. Gouda

Keyword(s):

Two Dimensional

Download Full-text

Automated Validation of TTCN Test Suites

Protocol Specification, Testing and Verification, XII ◽

10.1016/b978-0-444-89874-6.50024-6 ◽

1992 ◽

pp. 279-295 ◽

Cited By ~ 4

Author(s):

U. Bär ◽

J.M. Schneider

Keyword(s):

Test Suites

Download Full-text

Development of Satellite Communication Networks based on LOTOS

Protocol Specification, Testing and Verification, XII ◽

10.1016/b978-0-444-89874-6.50018-0 ◽

1992 ◽

pp. 179-192 ◽

Cited By ~ 2

Author(s):

A. Fernández ◽

C. Miguel ◽

L. Vidaller ◽

J. Quemada

Keyword(s):

Communication Networks ◽

Satellite Communication

Download Full-text

Protocol development success stories: Part I

Protocol Specification, Testing and Verification, XII ◽

10.1016/b978-0-444-89874-6.50016-7 ◽

1992 ◽

pp. 149-160 ◽

Cited By ~ 9

Author(s):

Harry Rudin

Keyword(s):

Success Stories ◽

Protocol Development

Download Full-text

Formal Model of a High Speed Transport Protocol

Protocol Specification, Testing and Verification, XII ◽

10.1016/b978-0-444-89874-6.50013-1 ◽

1992 ◽

pp. 97-111 ◽

Cited By ~ 1

Author(s):

G.M. Lundy ◽

R.C. McArthur

Keyword(s):

High Speed ◽

Formal Model ◽

Transport Protocol

Download Full-text

Copyright

Protocol Specification, Testing and Verification, XII ◽

10.1016/b978-0-444-89874-6.50003-9 ◽

1992 ◽

pp. iv

Download Full-text

Testing Probabilistic and Nondeterministic Processes

Protocol Specification, Testing and Verification, XII ◽

10.1016/b978-0-444-89874-6.50010-6 ◽

1992 ◽

pp. 47-61 ◽

Cited By ~ 55

Author(s):

Wang Yi ◽

Kim G. Larsen

Download Full-text

Module Composition and Refinement with Applications to Protocol Conversion

Protocol Specification, Testing and Verification, XII ◽

10.1016/b978-0-444-89874-6.50030-1 ◽

1992 ◽

pp. 383-397 ◽

Cited By ~ 2

Author(s):

Kenneth L. Calvert

Keyword(s):

Protocol Conversion

Download Full-text

A common semantics representation for SDL and TTCN

Protocol Specification, Testing and Verification, XII ◽

10.1016/b978-0-444-89874-6.50027-1 ◽

1992 ◽

pp. 335-346 ◽

Cited By ~ 1

Author(s):

Thomas Walter ◽

Jan Ellsberger ◽

Finn Kristoffersen ◽

Paul van den Merkhof

Download Full-text

Computing Diagnostic Tests for Incorrect Processes

Protocol Specification, Testing and Verification, XII ◽

10.1016/b978-0-444-89874-6.50023-4 ◽

1992 ◽

pp. 263-277 ◽

Cited By ~ 7

Author(s):

Ufuk Celikkan ◽

Rance Cleaveland

Keyword(s):

Diagnostic Tests

Download Full-text

Protocol Specification, Testing and Verification, XIILatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Elsevier

The Two-Dimensional Window Protocol

Automated Validation of TTCN Test Suites

Development of Satellite Communication Networks based on LOTOS

Protocol development success stories: Part I

Formal Model of a High Speed Transport Protocol

Copyright

Testing Probabilistic and Nondeterministic Processes

Module Composition and Refinement with Applications to Protocol Conversion

A common semantics representation for SDL and TTCN

Computing Diagnostic Tests for Incorrect Processes

Protocol Specification, Testing and Verification, XII
Latest Publications