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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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