Protocol Specification, Testing and Verification, XII
eBook - PDF

Protocol Specification, Testing and Verification, XII

Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992

R.J. Linn, M.Ü. Uyar, R.J. Linn, M.Ü. Uyar

  1. English
  2. PDF
  3. Available on iOS & Android
eBook - PDF

Protocol Specification, Testing and Verification, XII

Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992

R.J. Linn, M.Ü. Uyar, R.J. Linn, M.Ü. Uyar

Book details
Table of contents
Citations

About This Book

For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification, implementation, testing and verification. This book identifies the many successes that have been achieved within the industrial framework and the difficulties encountered in applying theoretical methods to practical situations.

Issues discussed include: testing and certification; verification; validation; environments and automated tools; formal specifications; protocol conversion; implementation; specification languages and models.

Consideration is also given to the concerns surrounding education available to students and the need to upgrade and develop this through sponsorship of a study of an appropriate curriculum at both undergraduate and graduate levels. It is hoped this publication will stimulate such support and inspire further research in this important arena.

Frequently asked questions

How do I cancel my subscription?
Simply head over to the account section in settings and click on “Cancel Subscription” - it’s as simple as that. After you cancel, your membership will stay active for the remainder of the time you’ve paid for. Learn more here.
Can/how do I download books?
At the moment all of our mobile-responsive ePub books are available to download via the app. Most of our PDFs are also available to download and we're working on making the final remaining ones downloadable now. Learn more here.
What is the difference between the pricing plans?
Both plans give you full access to the library and all of Perlego’s features. The only differences are the price and subscription period: With the annual plan you’ll save around 30% compared to 12 months on the monthly plan.
What is Perlego?
We are an online textbook subscription service, where you can get access to an entire online library for less than the price of a single book per month. With over 1 million books across 1000+ topics, we’ve got you covered! Learn more here.
Do you support text-to-speech?
Look out for the read-aloud symbol on your next book to see if you can listen to it. The read-aloud tool reads text aloud for you, highlighting the text as it is being read. You can pause it, speed it up and slow it down. Learn more here.
Is Protocol Specification, Testing and Verification, XII an online PDF/ePUB?
Yes, you can access Protocol Specification, Testing and Verification, XII by R.J. Linn, M.Ü. Uyar, R.J. Linn, M.Ü. Uyar in PDF and/or ePUB format, as well as other popular books in Computer Science & Programming. We have over one million books available in our catalogue for you to explore.

Information

Publisher
North Holland
Year
2016
ISBN
9781483293349
Topic
Computer Science
Subtopic
Programming
Index
Computer Science

Table of contents

    Citation styles for Protocol Specification, Testing and Verification, XII

    APA 6 Citation

    [author missing]. (2016). Protocol Specification, Testing and Verification, XII ([edition missing]). Elsevier Science. Retrieved from https://www.perlego.com/book/1875873/protocol-specification-testing-and-verification-xii-pdf (Original work published 2016)

    Chicago Citation

    [author missing]. (2016) 2016. Protocol Specification, Testing and Verification, XII. [Edition missing]. Elsevier Science. https://www.perlego.com/book/1875873/protocol-specification-testing-and-verification-xii-pdf.

    Harvard Citation

    [author missing] (2016) Protocol Specification, Testing and Verification, XII. [edition missing]. Elsevier Science. Available at: https://www.perlego.com/book/1875873/protocol-specification-testing-and-verification-xii-pdf (Accessed: 25 September 2021).

    MLA 7 Citation

    [author missing]. Protocol Specification, Testing and Verification, XII. [edition missing]. Elsevier Science, 2016. Web. 25 Sept. 2021.