Related Books
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: 443
Pages: 443
Type: BOOK - Published: 2003-11-03 - Publisher: Springer
This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Syste
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: 362
Pages: 362
Type: BOOK - Published: 2011-06-11 - Publisher: Springer
This book constitutes the refereed proceedings of the 13th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO
Language: en
Pages: 289
Pages: 289
Type: BOOK - Published: 2016-05-23 - Publisher: Springer
This book constitutes the proceedings of the 36th IFIP WG 6.1International Conference on Formal Techniques for Distributed Objects,Components, and Systems, FORT
