Formal Description Techniques IX

Theory, application and tools

  • Reinhard Gotzhein
  • Jan Bredereke

Table of contents

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

    1. Front Matter
      Pages 1-1
  3. Tools and Tools Support

    1. Front Matter
      Pages 27-27
    2. Tsvetomir P. Petrov, Anna Pogosyants, Stephen J. Garland, Victor Luchangco, Nancy A. Lynch
      Pages 29-44
    3. Andreas Mitschele-Thiel, Peter Langendörfer, Ralf Henke
      Pages 45-60
    4. N. N. Mansurov, A. S. Ragozin, A. V. Chernov, I. V. Mansurov
      Pages 61-76
  4. Invited Talk II

  5. FDT-Application

    1. Front Matter
      Pages 111-111
    2. M. A. S. Smith
      Pages 129-144
    3. E. Brinksma, A. Rensink, W. Vogler
      Pages 145-160
  6. FDT-Based System and Protocol Engineering

    1. Front Matter
      Pages 161-161
    2. A. Petrenko, N. Yevtushenko, G. v. Bochmann
      Pages 163-178
    3. Hiroki Horiuchi, Tetsuya Kuroki, Sadao Obana, Kenji Suzuki
      Pages 179-194
    4. Roland Groz, Olivier Charles, Josiane Renévot
      Pages 195-210
  7. Performance Modelling and Analysis

    1. Front Matter
      Pages 211-211
    2. M. Bütow, M. Mestern, C. Schapiro, P. S. Kritzinger
      Pages 213-228

About this book


This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series. It addresses FDTs applicable to communication protocols and distributed systems, with special emphasis on standardised FDTs. It features state-of-the-art in theory, application, tools and industrialisation of formal description.


communication distributed systems engine foundation modeling modelling probability testing validation verification

Editors and affiliations

  • Reinhard Gotzhein
    • 1
  • Jan Bredereke
    • 1
  1. 1.Department of Computer ScienceUniversity of KaiserslauternGermany

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag US 1996
  • Publisher Name Springer, Boston, MA
  • eBook Packages Springer Book Archive
  • Print ISBN 978-1-5041-2883-4
  • Online ISBN 978-0-387-35079-0
  • Series Print ISSN 1868-4238
  • Series Online ISSN 1868-422X
  • About this book