IFIP Advances in Information and Communication Technology
cover

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
  • ISBN 978-0-387-35079-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Hardcover $377.00
price for USA in USD
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)

Table of contents (32 chapters)
  • The Video Dial Tone Service and the ATM Environment

    Pages 3-25

    Danthine, André

  • Computer-Assisted Verification of an Algorithm for Concurrent Timestamps

    Pages 29-44

    Petrov, Tsvetomir P. (et al.)

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

    Pages 45-60

    Mitschele-Thiel, Andreas (et al.)

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

    Pages 61-76

    Mansurov, N. N. (et al.)

  • Automating Performance Optimisation by Heuristic Analysis of A Formal Specification

    Pages 77-92

    Hoschka, Philipp

Buy this book

eBook $299.00
price for USA in USD
  • ISBN 978-0-387-35079-0
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • Immediate eBook download after purchase and usable on all devices
  • Bulk discounts available
Hardcover $377.00
price for USA in USD
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