закладки (спрятать)
- Нет подходящих.
публикации (спрятать)83
- (1999)
- (2007)
- Computational & Mathematical Organization Theory, 13 (3): 283-314 (2007)
- (1998)
- 31. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), (2011)
- 30. Treffen der GI-Fachgruppe Test, Analyse & Verifikation von Software (TAV), (2010)
- testing experience, The Magazine for Professional Testers, (сентября 2010)
- Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings, стр. 50-67. Springer, (июня 2009)
- том 5578 из Lecture Notes in Computer Science, Springer, (2009)
- том 179 из LNI, GI, (2010)
- (2008)
- (2008)
- dpunkt, Heidelberg, 3. издание, (2005)
- Springer, Berlin, (2006)
- (27.10.2007)
- Tools and Algorithms for the Construction and Analysis of Systems, 2010, том 6015 из Lecture Notes in Computer Science, стр. 266-270. Springer, (2010)
- Commun. ACM, 53 (9): 76-85 (2010)
- Electr. Notes Theor. Comput. Sci., (2007)
- IEEE International Workshop on Rapid System Prototyping, стр. 105-110. IEEE Computer Society, (2005)
- EmNets, стр. 93-97. ACM, (2007)
