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 Bok 8 · Elsevier
5,0
1 recension
E-bok
434
Sidor
Kvalificerad
Betyg och recensioner verifieras inte  Läs mer

Om den här e-boken

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.

Betyg och recensioner

5,0
1 recension

Betygsätt e-boken

Berätta vad du tycker.

Läsinformation

Smartphones och surfplattor
Installera appen Google Play Böcker för Android och iPad/iPhone. Appen synkroniseras automatiskt med ditt konto så att du kan läsa online eller offline var du än befinner dig.
Laptops och stationära datorer
Du kan lyssna på ljudböcker som du har köpt på Google Play via webbläsaren på datorn.
Läsplattor och andra enheter
Om du vill läsa boken på enheter med e-bläck, till exempel Kobo-läsplattor, måste du ladda ned en fil och överföra den till enheten. Följ anvisningarna i hjälpcentret om du vill överföra filerna till en kompatibel läsplatta.
Rapportera olagligt innehåll

Fortsätt med nästa bok i serien

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
Bok 18•Datorer och teknik
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
Bok 2•Datorer och teknik
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
Bok 5•Datorer och teknik
142,79 €99,95 €

Liknande e-böcker

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
Bok 18•Datorer och teknik
111,18 €77,83 €
AI Engineering: Building Applications with Foundation Models
Chip Huyen
Datorer och teknik
67,58 €
Machine Learning for Hackers: Case Studies and Algorithms to Get You Started
Drew Conway
Datorer och teknik
41,96 €
Designing Machine Learning Systems: An Iterative Process for Production-Ready Applications
Chip Huyen
Datorer och teknik
41,41 €