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

·
· IFIP Transactions C: Communication Systems 8. knjiga · Elsevier
5,0
1 mnenje
E-knjiga
434
Strani
Primerno
Ocene in mnenja niso preverjeni. Več o tem

O tej e-knjigi

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.

Ocene in mnenja

5,0
1 mnenje

Ocenite to e-knjigo

Povejte nam svoje mnenje.

Informacije o branju

Pametni telefoni in tablični računalniki
Namestite aplikacijo Knjige Google Play za Android in iPad/iPhone. Samodejno se sinhronizira z računom in kjer koli omogoča branje s povezavo ali brez nje.
Prenosni in namizni računalniki
Poslušate lahko zvočne knjige, ki ste jih kupili v Googlu Play v brskalniku računalnika.
Bralniki e-knjig in druge naprave
Če želite brati v napravah, ki imajo zaslone z e-črnilom, kot so e-bralniki Kobo, morate prenesti datoteko in jo kopirati v napravo. Podrobna navodila za prenos datotek v podprte bralnike e-knjig najdete v centru za pomoč.
Prijava nezakonite vsebine

Nadaljujte zbirko

Integrated Broadband Communication Networks and Services: Proceedings of the IFIP TC6/ICCC International Conference on Integrated Broadband Communication Networks and Services, Copenhagen, Denmark, 20-23 April, 1993
V.B. Iversen
18. knjiga•Računalniki in tehnologija
111,18 €77,83 €
Formal Description Techniques, IV: Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE '91, Sydney, Australia, 19-22 November 1991
K.R. Parker
2. knjiga•Računalniki in tehnologija
77,34 €54,14 €
Performance of Distributed Systems and Integrated Communication Networks: Proceedings of the IFIP WG 7.3 International Conference on the Performance of Distributed Systems and Integrated Communication Networks, Kyoto, Japan, 10-12 September, 1991
T. Hasegawa
5. knjiga•Računalniki in tehnologija
142,79 €99,95 €

Podobne e-knjige

Integrated Broadband Communication Networks and Services: Proceedings of the IFIP TC6/ICCC International Conference on Integrated Broadband Communication Networks and Services, Copenhagen, Denmark, 20-23 April, 1993
V.B. Iversen
18. knjiga•Računalniki in tehnologija
111,18 €77,83 €
AI Engineering: Building Applications with Foundation Models
Chip Huyen
Računalniki in tehnologija
67,58 €
Machine Learning for Hackers: Case Studies and Algorithms to Get You Started
Drew Conway
Računalniki in tehnologija
41,96 €
Designing Machine Learning Systems: An Iterative Process for Production-Ready Applications
Chip Huyen
Računalniki in tehnologija
41,41 €