004.415.53

Зюбин В.Е. Лях Т.В. Верификация промышленных алгоритмов управления методом Model checking в сочетании с концепцией виртуальных объектов управления // Системная информатика. — . — № 8.  — С. 11-20
Евтушенко Н.В. Ермаков А.Д. К повышению полноты тестов, построенных по модели расширенного автомата // Системная информатика. — . — № 7.  — С. 23-32
Якушева С.Ф. Хританков А.С. Горбачёнок Д.И. Тестирование инвариантами в применении к генеративным системам искусственного интеллекта // Системная информатика. — . — № 22.  — С. 37-44
Подписаться на 004.415.53