Вы здесь

Kossatchev A. S.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Integration of Functional and Timed Testing of Real-Time and Concurrent System 2003 Kuliamin V. V., Petrenko A. K., Pakoulin N. V., Kossatchev A. S., Bourdonov I. B. Lecture Notes in Computer Science 18.02.2004
СТ Java Specification Extension for Automated Test Development 2001 Bourdonov I. B., Demakov A. V., Jarov A. A., Kossatchev A. S., Kuliamin V. V., Petrenko A. K., Zelenov S. V. Lecture Notes in Computer Science 06.02.2002
СТ Formal Specifications in Reverse Engineering and Software Verification 2000 Bourdonov I. B., Demakov A. V., Kossatchev A. S., Maksimov A. V., Petrenko A. K. Proceedings of Institute for System Programming 23.12.2000