|
|
Публикации в базе данных Math-Net.Ru |
Цитирования |
|
2015 |
1. |
Nikita V. Voinov, Pavel D. Drobintsev, Igor V. Nikiforov, Vsevolod P. Kotlyarov, Alexander V. Kolchin, “Method of symbolic test scenarios automated concretization”, Труды ИСП РАН, 27:3 (2015), 115–124 |
|
2013 |
2. |
И. С. Ануреев, С. Н. Баранов, Д. М. Белоглазов, Е. В. Бодин, П. Д. Дробинцев, А. В. Колчин, В. П. Котляров, А. А. Летичевский, А. А. Летичевский, В. А. Непомнящий, И. В. Никифоров, С. В. Потиенко, Л. В. Прийма, Б. В. Тютин, “Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений”, Тр. СПИИРАН, 26 (2013), 349–383 |
5
|
|
2012 |
3. |
А. В. Колчин, А. А. Летичевский, В. С. Песчаненко, П. Д. Дробинцев, В. П. Котляров, “Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов”, Модел. и анализ информ. систем, 19:6 (2012), 79–91 |
|