Тютин Борис Викторович

Публикации в базе данных Math-Net.Ru

1. Тестирование на основе ключевых слов с использованием диаграмм последовательности событий
   
   Научно-технические ведомости СПбГПУ. Информатика. Телекоммуникации. Управление, 2014, № 3(198),  78–84
2. Средства поддержки интегрированной технологии для анализа и верификации спецификаций телекоммуникационных приложений
   
   Тр. СПИИРАН, 26 (2013),  349–383