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

von Летичевский, А.А.
Veröffentlicht 2005

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

von Летичевский, А.А., Летичевский, А.А. (мл.), Песчаненко, В.С.
Veröffentlicht 2010

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

von Летичевский, А.А. (мл.)
Veröffentlicht 2013

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

von Летичевский, А.А. (мл.)
Veröffentlicht 2015

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

von Летичевский, А.А., Летичевский, А.А. мл., Скобелев, В.Г., Волков, В.А.
Veröffentlicht 2017

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

von Летичевский, А.А., Колчин, А.В.
Veröffentlicht 2010

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

von Капитонова, Ю.В., Летичевский, А.А.
Veröffentlicht 2007

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

von Летичевский, А.А., Скобелев, В.Г.
Veröffentlicht 2016

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

von Летичевский, А.А., Годлевский, А.Б., Летичевский, А.А. (мл.), Потиенко, С.В., Песчаненко, В.С.
Veröffentlicht 2010

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

von Летичевский, А.А., Лялецкий, А.В., Мороховец, М.К.
Veröffentlicht 2013

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

von Колчин, А.В., Летичевский, А.А., Потиенко, С.В.
Veröffentlicht 2014

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

von Колчин, А.В., Летичевский, А.А., Потиенко, С.В.
Veröffentlicht 2015

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

von Летичевский, А.А. (мл.), Мороховец, М.К., Песчаненко, В.С.
Veröffentlicht 2012

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

von Летичевский, А.А., Герман, В.Н., Мороховец, М.К., Щеголева, Н.Н.
Veröffentlicht 2010

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

von Колчин, А.В., Летичевский, А.А., Потиенко, С.В., Песчаненко, В.С.
Veröffentlicht 2012

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

von Летичевский, А.А., Летичевский, А.Ал., Песчаненко, В.С., Губа, А.А.
Veröffentlicht 2015

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

von Волков, В.А., Колчин, А.В., Летичевский, А.А., Потиенко, С.В.
Veröffentlicht 2017

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

von Львов, М.С., Песчаненко, В.С., Летичевский, А.А., Тарасич, Ю.Г., Баев, А.С.
Veröffentlicht 2018