Related Books
Language: en
Pages: 462
Pages: 462
Type: BOOK - Published: 2013-04-17 - Publisher: Springer
Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed syst
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: 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: 434
Pages: 434
Type: BOOK - Published: 2016-09-20 - Publisher: Elsevier
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: 724
Pages: 724
Type: BOOK - Published: 1996-03-06 - Publisher: Springer Science & Business Media
This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME '96, held in Oxford, UK, in March 1996. FME '96 w
