Protocol Specification, Testing and Verification, XII

Released on by R.J. Linn
preview-18

  • Protocol Specification, Testing and Verification, XII Book Detail

  • Author : R.J. Linn
  • Release Date : 2016-09-20
  • Publisher : Elsevier
  • Genre : Computers
  • Pages : 434
  • ISBN 13 : 1483293343
  • File Size : 58,58 MB
DOWNLOAD BOOK

Protocol Specification, Testing and Verification, XII by R.J. Linn PDF Summary

Book Description: 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.

Disclaimer: www.yourbookbest.com does not own Protocol Specification, Testing and Verification, XII books pdf, neither created or scanned. We just provide the link that is already available on the internet, public domain and in Google Drive. If any way it violates the law or has any issues, then kindly mail us via contact us page to request the removal of the link.