Protocol Specification, Testing, and Verification, VI: Proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification

Front Cover
North-Holland, 1987 - Computers - 427 pages

From inside the book

Contents

On the Architectural Design of the Formal Specification of
3
Specifying Abstract Data Types with LOTOS
15
PAV Protocol Analyzer and Verifier
29
Copyright

27 other sections not shown

Common terms and phrases

Bibliographic information