Related Books
Language: en
Pages: 452
Pages: 452
Type: BOOK - Published: 2016-01-09 - Publisher: Springer
This volume presents the latest research worldwide on communications protocols, emphasizing specification and compliance testing. It presents the complete proce
Language: en
Pages: 454
Pages: 454
Type: BOOK - Published: 1987 - Publisher: North Holland
Language: en
Pages: 440
Pages: 440
Type: BOOK - Published: 1992 - Publisher: Elsevier Science & Technology
For more than a decade, researchers and engineers have been addressing the problem of the application of formal description techniques to protocol specification
Language: en
Pages: 544
Pages: 544
Type: BOOK - Published: 2013-06-05 - Publisher: Springer
FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1,
Language: en
Pages: 579
Pages: 579
Type: BOOK - Published: 2005-08-25 - Publisher: Springer
This volume contains the proceedings of the International Conference on Computer Aided Veri?cation (CAV), held in Edinburgh, Scotland, July 6–10, 2005. CAV 20
