Related Books
Language: en
Pages: 313
Pages: 313
Type: BOOK - Published: 2008-05-26 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th
Language: en
Pages: 363
Pages: 363
Type: BOOK - Published: 2011-09-25 - Publisher: Springer
This book constitutes the refereed proceedings of the 9th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2011, held in Aalbo
Language: en
Pages: 670
Pages: 670
Type: BOOK - Published: 2014-03-21 - Publisher: Springer
This book constitutes the proceedings of the 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2014, whi
Language: en
Pages: 213
Pages: 213
Type: BOOK - Published: 2011-10-28 - Publisher: Springer Science & Business Media
This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazi
Language: en
Pages: 377
Pages: 377
Type: BOOK - Published: 2007-09-20 - Publisher: Springer Science & Business Media
This book constitutes the refereed proceedings of the 5th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2007. It covers wor
