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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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