Эксперименты с дедуктивным тестированием реактивных систем

за авторством Летичевский, А.А. (мл.)
Опубліковано 2013

Парадигмы модельного и символьного тестирования программных систем

за авторством Летичевский, А.А. (мл.)
Опубліковано 2015

Система доказательного программирования

за авторством Летичевский, А.А. (мл.), Мороховец, М.К., Песчаненко, В.С.
Опубліковано 2012

Алгоритм трансляции APLAN-кода

за авторством Летичевский, А.А., Летичевский, А.А. (мл.), Песчаненко, В.С.
Опубліковано 2010

Кибер-физические системы

за авторством Летичевский, А.А., Летичевский, А.А. мл., Скобелев, В.Г., Волков, В.А.
Опубліковано 2017

Свойства предикатного трансформера системы VRS

за авторством Летичевский, А.А., Годлевский, А.Б., Летичевский, А.А. (мл.), Потиенко, С.В., Песчаненко, В.С.
Опубліковано 2010