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

by Летичевский, А.А. (мл.)
Published 2013

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

by Летичевский, А.А. (мл.)
Published 2015

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

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

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

by Летичевский, А.А., Летичевский, А.А. (мл.), Песчаненко, В.С.
Published 2010

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

by Летичевский, А.А., Летичевский, А.А. мл., Скобелев, В.Г., Волков, В.А.
Published 2017

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

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