Filter
Sökt på: wolfgang grieskamp
Filter
totalt 3 träffar
Testing of Software and Communicating Systems
E-bok,
2007,
Engelska,
ISBN 9783540730668
This book constitutes the refereed proceedings of the 19th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2007, and the 7th International …
Formal Approaches to Software Testing
E-bok,
2006,
Engelska,
ISBN 9783540344551
This book constitutes the thoroughly refereed post-proceedings of the 5th International Workshop on Formal Approaches to Software Testing, FATES 2005, held in Edinburgh, UK, in …
Integrated Formal Methods
E-bok,
2007,
Engelska,
ISBN 9783540409113