закладки (спрятать)
- Нет подходящих.
публикации (спрятать)83
- SUTC, стр. 201-208. IEEE Computer Society, (2008)
- ASE, стр. 157-166. IEEE Computer Society, (2006)
- (2010)
- Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings, стр. 115--131. Springer, (2010)
- Model-Based Testing of Reactive Systems, том 3472 из Lecture Notes in Computer Science, стр. 173-200. Springer, (2004)
- STTT, 6 (4): 260-276 (2004)JPF.
- (1999)
- (2010)
- Electr. Notes Theor. Comput. Sci., 242 (2): 43-58 (2009)
- SenSys, стр. 425-426. ACM, (2008)
- Electr. Notes Theor. Comput. Sci., (2002)
- RTCSA, стр. 147-153. IEEE Computer Society, (2005)
- RV, том 4839 из Lecture Notes in Computer Science, стр. 164-175. Springer, (2007)
- IEEE Trans. Software Eng., 28 (2): 129-145 (2002)
- Model-Based Testing of Reactive Systems, том 3472 из Lecture Notes in Computer Science, стр. 525-555. Springer, (2004)
- QEST '08: Proceedings of the 2008 Fifth International Conference on Quantitative Evaluation of Systems, стр. 37--38. Washington, DC, USA, IEEE Computer Society, (2008)
- Methods, Models and Tools for Fault Tolerance, том 5454 из Lecture Notes in Computer Science, Springer, (2009)
- IEEE Trans. Software Eng., 27 (7): 599-617 (2001)
- том 3472 из Lecture Notes in Computer Science, Springer, (2005)
- TACAS, том 2619 из Lecture Notes in Computer Science, стр. 553-568. Springer, (2003)
