|
|
|
Publications in Math-Net.Ru |
Citations |
|
2014 |
| 1. |
B. V. Tyutin, A. O. Veselov, V. P. Kotlyarov, “Sequence diagrams application for keyword-driven testing”, St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 3(198), 78–84  |
|
2013 |
| 2. |
I. S. Anureev, S. N. Baranov, D. M. Beloglazov, E. V. Bodin, P. D. Drobintsev, A. V. Kolchin, V. P. Kotlyarov, A. A. Letichevskii, O. A. Letychevskyi, V. A. Nepomnyashchii, I. V. Nikiforov, S. V. Potiyenko, L. V. Priima, B. V. Tyutin, “Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs”, Tr. SPIIRAN, 26 (2013), 349–383 |
5
|
|
