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: 450
Pages: 450
Type: BOOK - Published: 2016-01-09 - Publisher: Springer
This volume contains the latest worldwide research results on formal description techniques applicable to telecommunications, covering their theoretical foundat
Language: en
Pages: 596
Pages: 596
Type: BOOK - Published: 2013-10-22 - Publisher: Elsevier
Formality is becoming accepted as essential in the development of complex systems such as multi-layer communications protocols and distributed systems. Formalit
Language: en
Pages: 513
Pages: 513
Type: BOOK - Published: 2016-01-09 - Publisher: Springer
This book is the combined proceedings of the latest IFIP Formal Description Techniques (FDTs) and Protocol Specification, Testing and Verification (PSTV) series
Language: en
Pages: 512
Pages: 512
Type: BOOK - Published: 2016-01-09 - Publisher: Springer
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of f