Results 31 to 40 of about 43 (40)
Формальные методы при моделировании и идентификации организационных систем
Ирина Александровна Гарькина +2 more
openalex
Формальные методы разработки вопросно-ответной системы на естественном языке
Denis V. Derevianko +3 more
openalex
Формальные методы поддержки реорганизации бизнес-процессов
Калянов Георгий Николаевич
openalex
ФОРМАЛЬНЫЕ МЕТОДЫ РАЗРАБОТКИ И ВЕРИФИКАЦИИ ПРОГРАММ. ГОРИЗОНТ 2030
А.К. ПЕТРЕНКО +2 more
openalex +1 more source
Введение в формальные методы верификации программ: учебное пособие
Камкин Александр Сергеевич
openalex
Формальные методы стратегического планирования развития железнодорожного транспорта
А Н Мардас +2 more
openalex
Формальные методы установления авторства текстов и их реализация в программных продуктах
Т В Батура
openalex

