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: 550
Pages: 550
Type: BOOK - Published: 2013-01-17 - 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: 488
Pages: 488
Type: BOOK - Published: 2013-06-05 - Publisher: Springer
Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communicati
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: 414
Pages: 414
Type: BOOK - Published: 2013-03-20 - Publisher: Springer
th The 20 anniversary of the IFIP WG6. 1 Joint International Conference on Fonna! Methods for Distributed Systems and Communication Protocols (FORTE XIII / PSTV
