IFIP Advances in Information and Communication Technology

Protocol Specification, Testing and Verification XV

Editors: Dembinski, Piotr, Sredniawa, Marek (Eds.)

Buy this book

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

This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proceedings of the fifteenth meeting on `Protocol Specification, Testing and Verification' arranged by the International Federation for Information Processing.

Table of contents (27 chapters)

  • Simple On-the-fly Automatic Verification of Linear Temporal Logic

    Gerth, R. (et al.)

    Pages 3-18

  • Specifying Real-Time Requirements for SDL Specifications — A Temporal Logic-Based Approach

    Leue, Stefan

    Pages 19-34

  • A temporal reachability analysis

    Cacciari, Leo (et al.)

    Pages 35-49

  • True versus artificial concurrency

    Mazurkiewicz, A.

    Pages 53-68

  • On compositionality and Petri nets in protocol engineering

    Anisimov, N. A. (et al.)

    Pages 71-86

Buy this book

eBook $229.00
price for USA in USD (gross)
  • ISBN 978-0-387-34892-6
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $299.00
price for USA in USD
  • ISBN 978-0-412-71620-1
  • 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
Protocol Specification, Testing and Verification XV
Editors
  • Piotr Dembinski
  • Marek Sredniawa
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-34892-6
DOI
10.1007/978-0-387-34892-6
Hardcover ISBN
978-0-412-71620-1
Series ISSN
1868-4238
Edition Number
1
Number of Pages
XI, 455
Topics