Formal Description Techniques VII

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

Contenu

Preface. Invited talk. New techniques. Applications. FDTs go commercial. Verification. Verification and real-time. Semantics. Testing and performace. Refinement. Index of contributors. Keyword index.