Formal Description Techniques VIII (IFIP Advances in Information and Communication Technology) | EKB DL

Home BookFormal Description Techniques VIII (IFIP Advances in Information and Communication Technology)

Formal Description Techniques VIII (IFIP Advances in Information and Communication Technology)

Description

This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundations, industrial applications and practical usage. The book presents the selected proceedings of the eighth International Conference on Formal Description Techniques, arranged by the International Federation for Information Processing and held in Montreal, Canada, October 1995.

Keywords

FORMAL LANGUAGES

1996Book

Author(s)IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques (8th 1995 Montreal, Canada)

PublisherSpringer

ISBN9780412732706

LanguageEnglish

SpringerLink Book

Similar Books

Book

Formal Description Techniques IX: Theory, application and tools (IFIP Advances in Information and Communication Technology)

Book

Formal Description Techniques VII

Book

Formal Description Techniques and Protocol Specification, Testing and Verification FORTE XI/PSTV XVIII’98 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing and Verification (PSTV XVIII) 3–6 November 1998, Paris, France

Book

Protocol Specification, Testing and Verification XV

Book

Protocol Test Systems VIII: Proceedings of the IFIP WG6.1 TC6 Eighth International Workshop on Protocol Test Systems, September 1995 (IFIP Advances in Information and Communication Technology)

Book

Formal Methods for Protocol Engineering and Distributed Systems Forte XII / PSTV XIX’99

Book

Formal Methods for Open Object-based Distributed Systems

Book

Formal Methods for Open Object-based Distributed Systems Volume 2

Book

Testing of Communicating Systems Methods and Applications

Book

Concurrency 88 International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings