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

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

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

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

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

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

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

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

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

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

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

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