|
|
Publications in Math-Net.Ru |
Citations |
|
2015 |
1. |
Nikita V. Voinov, Pavel D. Drobintsev, Igor V. Nikiforov, Vsevolod P. Kotlyarov, Alexander V. Kolchin, “Method of symbolic test scenarios automated concretization”, Proceedings of ISP RAS, 27:3 (2015), 115–124 |
|
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
|
|
2012 |
3. |
A. V. Kolchin, A. A. Letichevsky, V. S. Peschanenko, P. D. Drobintsev, V. P. Kotlyarov, “An Approach to Concretization of Test Scenarios in Industrial Automation Testing of Software Projects”, Model. Anal. Inform. Sist., 19:6 (2012), 79–91 |
|
Organisations |
|
|