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 259,00 €
price for Spain (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 321,36 €
price for Spain (gross)
  • ISBN 978-0-412-79490-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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 259,00 €
price for Spain (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 321,36 €
price for Spain (gross)
  • ISBN 978-0-412-79490-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
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