Истолкование смысла программ: что и почему программа делает во время выполнения. Выберите подраздел по методу анализа.
Статьи по коду 004.423.4
5 публикаций
Нажмите рядом со статьёй — скопируете ссылку для списка литературы по ГОСТ.
ВЛИЯНИЕ ИНФОРМАЦИОННЫХ ТЕХНОЛОГИЙ НА РАЗВИТИЕ МЕТОДОЛОГИИ ИССЛЕДОВАНИЯ ЛИНГВИСТИЧЕСКИХ ПРОЦЕССОВ
Внуковская Анастасия Васильевна, Кононенко Анна Павловна, Недосека Людмила Анатольевна, Федорович Екатерина Валерьевна
· 2023
Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы
Дмитрий Александрович Кондратьев, Сергей Михайлович Старолетов, Ирина Владимировна Шошмина, Анастасия Владимировна Красненкова, Кирилл Викторович Зиборов, и др.
· 2025
Язык спецификации взаимодействия автоматных объектов
Новиков Федор Александрович, Афанасьева Ирина Викторовна, Федорченко Людмила Николаевна, Таисия Анваровна Харисова
· 2024
Ещё 17 статей в подразделах