закладки (спрятать)
- Нет подходящих.
публикации (спрятать)83
- (2008)
- Artif. Intell., 171 (10-15): 776-804 (2007)
- Commun. ACM, 53 (9): 76-85 (2010)
- Addison-Wesley, Upper Saddle River, NJ, (2007)
- Tools and Algorithms for the Construction and Analysis of Systems, 2010, том 6015 из Lecture Notes in Computer Science, стр. 266-270. Springer, (2010)
- IEEE Trans. Software Eng., 28 (2): 129-145 (2002)
- Springer, Berlin, (2006)
- Prentice Hall International series in computer science Prentice Hall, (1988)
- (19.10.2012)
- IEEE Software 1 (1), (1984)
- ISO/IEC JTC1/SC22 (Programming languages and operating systems) WG21 (C++), (2012)
- QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, стр. 37--38. Washington, DC, USA, IEEE Computer Society, (2008)
- (2003)
- том 3472 из Lecture Notes in Computer Science, Springer, (2005)
- Springer, (1994)
- Electr. Notes Theor. Comput. Sci., (2007)
- Java series Addison-Wesley-Longman, (1997)
- Model-Based Testing of Reactive Systems, том 3472 из Lecture Notes in Computer Science, стр. 525-555. Springer, (2004)
- McGraw-Hill Higher Education, 2nd издание, (2001)
- Formal Methods in System Design, 1 (2/3): 275-288 (1992)
