Protocol Specification, Testing and Verification XV / Edition 1by Piotr Dembinski
Pub. Date: 11/30/1995
Publisher: Springer US
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.
- Springer US
- Publication date:
- IFIP Advances in Information and Communication Technology
- Edition description:
- Product dimensions:
- 6.14(w) x 9.21(h) x 0.24(d)
Table of ContentsPreface. Committee members and invited speakers. List of referees. Specification and verification: time-dependent analysis. Invited paper. Specification of concurrent systems. Testing. Specification and verification: temporal approach. Validation and testing. Specification and analysis. Verification: model checking. Invited paper. High speed/multimedia. Towards implementation. Index of contributors. Keyword index.
and post it to your social network
Most Helpful Customer Reviews
See all customer reviews >