Оценка полноты тестирования реализации протокола TCP на основе конечно автоматных моделей

by Сухоплюев, Максим Николаевич
Published in Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием

Автоматный метод синтеза тестов для проверки безопасности реализаций телекоммуникационных протоколов...

by Сухоплюев, Максим Николаевич
Published in Известия высших учебных заведений. Физика