СТ |
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 |