Formal Description Techniques VII

Description

This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

Keywords

Technology & EngineeringSignals & Signal ProcessingComputersNetworkingElectronicsElectricalHardware

1995Book

Author(s)IFIP WG 6.1 International Conference on Formal Description Techniques (7th 1994 Berne, Switzerland).

PublisherSpringer US

ISBN9780412644504

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 VIII (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 Volume 2

Book

Formal Methods: State of the Art and New Directions

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

Formal Methods for Open Object-based Distributed Systems

Book

Formal Techniques for Distributed Systems Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013, Proceedings

Book

Protocol Specification, Testing and Verification XV

Book

Formal Techniques in Real-Time and Fault-Tolerant Systems