IFIP Advances in Information and Communication Technology

Formal Description Techniques IX

Theory, application and tools

Editors: Gotzhein, R., Bredereke, J. (Eds.)

Buy this book

eBook $299.00
price for USA in USD (gross)
  • ISBN 978-0-387-35079-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $377.00
price for USA in USD
  • ISBN 978-0-412-79490-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (32 chapters)

  • The Video Dial Tone Service and the ATM Environment

    Danthine, André

    Pages 3-25

  • Computer-Assisted Verification of an Algorithm for Concurrent Timestamps

    Petrov, Tsvetomir P. (et al.)

    Pages 29-44

  • Design and Optimization of High-Performance Protocols with the DO-IT Toolbox

    Mitschele-Thiel, Andreas (et al.)

    Pages 45-60

  • Tool support for algebraic specifications of data in SDL-92

    Mansurov, N. N. (et al.)

    Pages 61-76

  • Automating Performance Optimisation by Heuristic Analysis of A Formal Specification

    Hoschka, Philipp

    Pages 77-92

Buy this book

eBook $299.00
price for USA in USD (gross)
  • ISBN 978-0-387-35079-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $377.00
price for USA in USD
  • ISBN 978-0-412-79490-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Services for this Book

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Description Techniques IX
Book Subtitle
Theory, application and tools
Editors
  • R. Gotzhein
  • J. Bredereke
Series Title
IFIP Advances in Information and Communication Technology
Copyright
1996
Publisher
Springer US
Copyright Holder
IFIP International Federation for Information Processing
eBook ISBN
978-0-387-35079-0
DOI
10.1007/978-0-387-35079-0
Hardcover ISBN
978-0-412-79490-2
Series ISSN
1868-4238
Edition Number
1
Number of Pages
X, 518
Topics