Protocol Specification, Testing and Verification XV - IFIP Advances in Information and Communication Technology
Latest Publications

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer US

9781504129251, 9780387348926

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Hardware Specification Generated from Estelle

Protocol Specification, Testing and Verification XV - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34892-6_27 ◽

1996 ◽

pp. 435-450 ◽

Author(s):

Jacek Wytrębowicz

Keyword(s):

Hardware Specification

Download Full-text

Protocol analysis and verification methods, application to the Xpress Transport Protocol 4.0

Protocol Specification, Testing and Verification XV - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34892-6_24 ◽

1996 ◽

pp. 385-400

Author(s):

O. Catrina

Keyword(s):

Protocol Analysis ◽

Transport Protocol ◽

Verification Methods

Download Full-text

Formal Design of Cooperative Systems

Protocol Specification, Testing and Verification XV - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34892-6_22 ◽

1996 ◽

pp. 349-365

Author(s):

Michel Diaz ◽

Thierry Villemur ◽

François Vernadat

Keyword(s):

Cooperative Systems ◽

Download Full-text

SDL and Petri Net Performance Analysis of Communicating Systems

Protocol Specification, Testing and Verification XV - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34892-6_17 ◽

1996 ◽

pp. 269-282 ◽

Author(s):

Falko Bause ◽

Peter Kemper ◽

Heinz Kabutz ◽

Pieter Kritzinger

Keyword(s):

Performance Analysis ◽

Download Full-text

An Algebraic-Temporal Specification of a CSMA/CD-Protocol

Protocol Specification, Testing and Verification XV - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34892-6_12 ◽

1996 ◽

pp. 187-202 ◽

Author(s):

Mohamed Jmaiel

Keyword(s):

Temporal Specification

Download Full-text

An analysis of bitstate hashing

Protocol Specification, Testing and Verification XV - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34892-6_19 ◽

1996 ◽

pp. 301-314 ◽

Author(s):

Gerard J. Holzmann

Download Full-text

An approach to testing distributed software systems

Protocol Specification, Testing and Verification XV - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34892-6_8 ◽

1996 ◽

pp. 121-136 ◽

Author(s):

Andreas Ulrich ◽

Samuel T. Chanson

Keyword(s):

Software Systems ◽

Distributed Software

Download Full-text

PARES - A Portable Parallel Estelle Compiler

Protocol Specification, Testing and Verification XV - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34892-6_25 ◽

1996 ◽

pp. 403-418 ◽

Author(s):

Ralf Plato ◽

Thomas Held ◽

Hartmut Koenig

Download Full-text

On the introduction of gate typing in E-LOTOS

Protocol Specification, Testing and Verification XV - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34892-6_18 ◽

1996 ◽

pp. 283-298 ◽

Author(s):

Hubert Garavel ◽

Inria Rhône-Alpes

Download Full-text

Characterizing Termination in LOTOS via Testing

Protocol Specification, Testing and Verification XV - IFIP Advances in Information and Communication Technology ◽

10.1007/978-0-387-34892-6_15 ◽

1996 ◽

pp. 237-250 ◽

Author(s):

David de Frutos ◽

Manuel Múñez ◽

Juan Quemada

Download Full-text