Об одном классе базовых протоколов

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

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

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

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

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

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

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

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

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

Генерация тестовых сценариев на основе формальной модели

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

Достижения и проблемы кибернетики и информатики в Украине

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

Рецензия на книгу

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

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

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

Алгоритм Очевидности Глушкова

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

Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем...

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

Статический метод устранения избыточных информационных связей в предусловиях переходов формальных моделей транзиционных систем...

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

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

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

Параллельный поиск вывода в логическом исчислении на основе системы алгебраического программирования...

за авторством Летичевский, А.А., Герман, В.Н., Мороховец, М.К., Щеголева, Н.Н.
Опубліковано 2010

Обзор современных систем и методов верификации формальных моделей

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

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

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

Обзор систематических методов автоматической генерации тестовых данных по исходному коду программ...

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

Алгоритм и инструменты построения канонических форм линейных полуалгебраических формул

за авторством Львов, М.С., Песчаненко, В.С., Летичевский, А.А., Тарасич, Ю.Г., Баев, А.С.
Опубліковано 2018