Tyutin Boris Viktorovich

Publications in Math-Net.Ru

1. Sequence diagrams application for keyword-driven testing
   
   St. Petersburg Polytechnical University Journal. Computer Science. Telecommunication and Control Sys, 2014, no. 3(198),  78–84
2. Tools of Integrated Technology for Analysis and Verification of Telecom Application Specs
   
   Tr. SPIIRAN, 26 (2013),  349–383