Formal Description Techniques VII

Proceedings of the 7th IFIP WG 6.1 international conference on formal description techniques

  • Dieter Hogrefe
  • Stefan Leue

Table of contents

  1. Front Matter
    Pages i-xiv
  2. Invited Talk

    1. Front Matter
      Pages 1-1
  3. New Techniques

    1. Front Matter
      Pages 21-21
    2. Claudia Popien, Bernd Meyer
      Pages 37-52
  4. Applications

    1. Front Matter
      Pages 53-53
    2. O. González, V. G. García, M. Riesco, E. Vázquez
      Pages 71-86
    3. Bairong Zhang, Alistair Munro, Michael Barton
      Pages 87-99
  5. FDTs go Commercial

    1. Front Matter
      Pages 117-117
    2. J. C. Yelmo, F. J. Carrasco, C. Sánchez, J. J. Gilt, C. Ramos, M. I. Felipet
      Pages 135-150
    3. Willem Hengeveld, Peter van der Toorn, Geert-Jan Houben
      Pages 151-162
  6. Verification

    1. Front Matter
      Pages 163-163
    2. Gerard J. Holzmann, Doron Peled
      Pages 197-211
    3. Hacèie Fouchal, Ana R. Cavalli
      Pages 215-217

About this book

Introduction

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

distributed systems material research semantics testing verification

Editors and affiliations

  • Dieter Hogrefe
    • 1
  • Stefan Leue
    • 1
  1. 1.Department of Computer Science and Applied MathematicsUniversity of BerneBerneSwitzerland

Bibliographic information

  • DOI https://doi.org/10.1007/978-0-387-34878-0
  • Copyright Information Springer-Verlag US 1995
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-5041-2881-0
  • Online ISBN 978-0-387-34878-0
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • Buy this book on publisher's site