Обобщённые семантики тестового взаимодействия by И.Б. Бурдонов, А.С. Косачев

Get full text

Эквивалентные семантики взаимодействия. by И.Б. Бурдонов, А.С. Косачев

Get full text

Полное тестирование с открытым состоянием ограниченно недетерминированных систем by И.Б. Бурдонов, А.С. Косачев

Get full text

Асинхронные автоматы: классификация и тестирование. by И.Б. Бурдонов, А.С. Косачев, В.В. Кулямин

Get full text

Формальные спецификации в технологиях обратной инженерии и верификации программ. by И.Б. Бурдонов, А.В. Демаков, А.С. Косачев, А.В. Максимов, А.К. Петренко

Get full text