Filter
Sökt på: wolfgang grieskamp
Filter
totalt 3 träffar
Testing of Software and Communicating Systems
häftad,
2007,
Engelska,
ISBN 9783540730651
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 …
Integrated Formal Methods
häftad,
2000,
Engelska,
ISBN 9783540411963
IFM 2000, the second in a series of international conferences on Integrated F- mal Methods, was held at the 18th-century chateau ^ of Schloss Dagstuhl, Sa- land, Germany, from the …
Formal Approaches to Software Testing
häftad,
2006,
Engelska,
ISBN 9783540344544
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 …