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. kötet · Elsevier
5,0
1 vélemény
E-könyv
434
Oldalak száma
Használható
Az értékelések és vélemények nincsenek ellenőrizve További információ

Információk az e-könyvről

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.

Értékelések és vélemények

5,0
1 vélemény

E-könyv értékelése

Mondd el a véleményedet.

Olvasási információk

Okostelefonok és táblagépek
Telepítsd a Google Play Könyvek alkalmazást Android- vagy iPad/iPhone eszközre. Az alkalmazás automatikusan szinkronizálódik a fiókoddal, így bárhol olvashatsz online és offline állapotban is.
Laptopok és számítógépek
A Google Playen vásárolt hangoskönyveidet a számítógép böngészőjében is meghallgathatod.
E-olvasók és más eszközök
E-tinta alapú eszközökön (például Kobo e-könyv-olvasón) való olvasáshoz le kell tölteni egy fájlt, és átvinni azt a készülékre. A Súgó részletes utasításait követve lehet átvinni a fájlokat a támogatott e-könyv-olvasókra.
Jogsértő tartalom bejelentése

Sorozat folytatása

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. kötet•Számítógép és technika
111,18 EUR77,83 EUR
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. kötet•Számítógép és technika
77,34 EUR54,14 EUR
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. kötet•Számítógép és technika
142,79 EUR99,95 EUR

Hasonló e-könyvek

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. kötet•Számítógép és technika
111,18 EUR77,83 EUR
AI Engineering: Building Applications with Foundation Models
Chip Huyen
Számítógép és technika
67,58 EUR
Machine Learning for Hackers: Case Studies and Algorithms to Get You Started
Drew Conway
Számítógép és technika
41,96 EUR
Designing Machine Learning Systems: An Iterative Process for Production-Ready Applications
Chip Huyen
Számítógép és technika
41,41 EUR