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. Disponibile su iOS e 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

Dettagli del libro
Indice dei contenuti
Citazioni

Informazioni sul libro

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.

Domande frequenti

Come faccio ad annullare l'abbonamento?
È semplicissimo: basta accedere alla sezione Account nelle Impostazioni e cliccare su "Annulla abbonamento". Dopo la cancellazione, l'abbonamento rimarrà attivo per il periodo rimanente già pagato. Per maggiori informazioni, clicca qui
È possibile scaricare libri? Se sì, come?
Al momento è possibile scaricare tramite l'app tutti i nostri libri ePub mobile-friendly. Anche la maggior parte dei nostri PDF è scaricabile e stiamo lavorando per rendere disponibile quanto prima il download di tutti gli altri file. Per maggiori informazioni, clicca qui
Che differenza c'è tra i piani?
Entrambi i piani ti danno accesso illimitato alla libreria e a tutte le funzionalità di Perlego. Le uniche differenze sono il prezzo e il periodo di abbonamento: con il piano annuale risparmierai circa il 30% rispetto a 12 rate con quello mensile.
Cos'è Perlego?
Perlego è un servizio di abbonamento a testi accademici, che ti permette di accedere a un'intera libreria online a un prezzo inferiore rispetto a quello che pagheresti per acquistare un singolo libro al mese. Con oltre 1 milione di testi suddivisi in più di 1.000 categorie, troverai sicuramente ciò che fa per te! Per maggiori informazioni, clicca qui.
Perlego supporta la sintesi vocale?
Cerca l'icona Sintesi vocale nel prossimo libro che leggerai per verificare se è possibile riprodurre l'audio. Questo strumento permette di leggere il testo a voce alta, evidenziandolo man mano che la lettura procede. Puoi aumentare o diminuire la velocità della sintesi vocale, oppure sospendere la riproduzione. Per maggiori informazioni, clicca qui.
Protocol Specification, Testing and Verification, XII è disponibile online in formato PDF/ePub?
Sì, puoi accedere a Protocol Specification, Testing and Verification, XII di R.J. Linn,M.Ü. Uyar in formato PDF e/o ePub, così come ad altri libri molto apprezzati nelle sezioni relative a Computer Science e Programming. Scopri oltre 1 milione di libri disponibili nel nostro catalogo.

Informazioni

Editore
North Holland
Anno
2016
ISBN
9781483293349
Argomento
Computer Science
Categoria
Programming

Indice dei contenuti

  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
Stili delle citazioni per 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.