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

  1. English
  2. PDF
  3. Disponible sur iOS et 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

DĂ©tails du livre
Table des matiĂšres
Citations

À propos de ce livre

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.

Foire aux questions

Comment puis-je résilier mon abonnement ?
Il vous suffit de vous rendre dans la section compte dans paramĂštres et de cliquer sur « RĂ©silier l’abonnement ». C’est aussi simple que cela ! Une fois que vous aurez rĂ©siliĂ© votre abonnement, il restera actif pour le reste de la pĂ©riode pour laquelle vous avez payĂ©. DĂ©couvrez-en plus ici.
Puis-je / comment puis-je télécharger des livres ?
Pour le moment, tous nos livres en format ePub adaptĂ©s aux mobiles peuvent ĂȘtre tĂ©lĂ©chargĂ©s via l’application. La plupart de nos PDF sont Ă©galement disponibles en tĂ©lĂ©chargement et les autres seront tĂ©lĂ©chargeables trĂšs prochainement. DĂ©couvrez-en plus ici.
Quelle est la différence entre les formules tarifaires ?
Les deux abonnements vous donnent un accĂšs complet Ă  la bibliothĂšque et Ă  toutes les fonctionnalitĂ©s de Perlego. Les seules diffĂ©rences sont les tarifs ainsi que la pĂ©riode d’abonnement : avec l’abonnement annuel, vous Ă©conomiserez environ 30 % par rapport Ă  12 mois d’abonnement mensuel.
Qu’est-ce que Perlego ?
Nous sommes un service d’abonnement Ă  des ouvrages universitaires en ligne, oĂč vous pouvez accĂ©der Ă  toute une bibliothĂšque pour un prix infĂ©rieur Ă  celui d’un seul livre par mois. Avec plus d’un million de livres sur plus de 1 000 sujets, nous avons ce qu’il vous faut ! DĂ©couvrez-en plus ici.
Prenez-vous en charge la synthÚse vocale ?
Recherchez le symbole Écouter sur votre prochain livre pour voir si vous pouvez l’écouter. L’outil Écouter lit le texte Ă  haute voix pour vous, en surlignant le passage qui est en cours de lecture. Vous pouvez le mettre sur pause, l’accĂ©lĂ©rer ou le ralentir. DĂ©couvrez-en plus ici.
Est-ce que Protocol Specification, Testing and Verification, XII est un PDF/ePUB en ligne ?
Oui, vous pouvez accĂ©der Ă  Protocol Specification, Testing and Verification, XII par R.J. Linn,M.Ü. Uyar en format PDF et/ou ePUB ainsi qu’à d’autres livres populaires dans Computer Science et Programming. Nous disposons de plus d’un million d’ouvrages Ă  dĂ©couvrir dans notre catalogue.

Informations

Éditeur
North Holland
Année
2016
ISBN
9781483293349
Sujet
Computer Science
Sous-sujet
Programming

Table des matiĂšres

  1. Front Cover
  2. Protocol Specification, Testing and Verification, XII
  3. Copyright Page
  4. Organizing Committee
  5. Referees
  6. PART 1: KEYNOTE SPEECH
  7. Session 1.A: TESTING THEORY
  8. Session I.B: TESTABILITY
  9. Session I.C: SPECIFICATION
  10. Session I.D: SPECIFICATION
  11. PART 2: INVITED PAPER
  12. Session II.A: IMPLEMENTATION
  13. Session II.B: CONFORMANCE TESTING
  14. Session II.C: TESTING THEORY
  15. Session II.D: CONFORMANCE TESTING
  16. PART 3: INVITED PAPER
  17. Session III.A: CONFORMANCE TESTING
  18. Session III.B: VERIFICATION
  19. Session III.C: CONVERSION AND ROUTING
  20. Author Index
  21. IFIP
Normes de citation pour Protocol Specification, Testing and Verification, XII

APA 6 Citation

Linn, RJ., & Uyar, MÜ. (2016). Protocol Specification, Testing and Verification, XII ([edition unavailable]). Elsevier Science. Retrieved from https://www.perlego.com/book/1875873/protocol-specification-testing-and-verification-xii-proceedings-of-the-ifip-tc6wg61-twelfth-international-symposium-on-protocol-specification-testing-and-verification-lake-buena-vista-florida-usa-2225-june-1992-pdf (Original work published 2016)

Chicago Citation

Linn, RJ., and MÜ. Uyar. (2016) 2016. Protocol Specification, Testing and Verification, XII. [Edition unavailable]. Elsevier Science. https://www.perlego.com/book/1875873/protocol-specification-testing-and-verification-xii-proceedings-of-the-ifip-tc6wg61-twelfth-international-symposium-on-protocol-specification-testing-and-verification-lake-buena-vista-florida-usa-2225-june-1992-pdf.

Harvard Citation

Linn, RJ. and Uyar, MÜ. (2016) Protocol Specification, Testing and Verification, XII. [edition unavailable]. Elsevier Science. Available at: https://www.perlego.com/book/1875873/protocol-specification-testing-and-verification-xii-proceedings-of-the-ifip-tc6wg61-twelfth-international-symposium-on-protocol-specification-testing-and-verification-lake-buena-vista-florida-usa-2225-june-1992-pdf (Accessed: 15 October 2022).

MLA 7 Citation

Linn, RJ., and MÜ. Uyar. Protocol Specification, Testing and Verification, XII. [edition unavailable]. Elsevier Science, 2016. Web. 15 Oct. 2022.