Об одном подходе к проектированию алгебраических типов данных

за авторством Песчаненко, В.С.
Опубліковано 2006

Моделирование графического редактора системы Insertion Modeling System средствами Graphical Modeling Framework Eclipse

за авторством Песчаненко, В.С.
Опубліковано 2011

Метод трапецоидов решения систем линейных неравенств и его реализация инсерционным моделированием...

за авторством Львов, М.С., Песчаненко, В.С.
Опубліковано 2012

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

за авторством Летичевский, А.А. (мл.), Мороховец, М.К., Песчаненко, В.С.
Опубліковано 2012

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

за авторством Летичевский, А.А., Летичевский, А.А. (мл.), Песчаненко, В.С.
Опубліковано 2010

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

за авторством Колчин, А.В., Летичевский, А.А., Потиенко, С.В., Песчаненко, В.С.
Опубліковано 2012

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

за авторством Летичевский, А.А., Летичевский, А.Ал., Песчаненко, В.С., Губа, А.А.
Опубліковано 2015

Модельний спосіб розроблення алгоритмів цифрових систем на програмованих логічних інтегральних схемах...

за авторством Летичевський, О.О., Песчаненко, В.С., Харченко, В.С., Волков, В.А., Одарущенко, О.М.
Опубліковано 2020

Огляд сучасних методів захищеності та безпеки програмних систем

за авторством Летичевський, О.О., Песчаненко, В.С., Гринюк, Я.В., Радченко, В.Ю., Яковлев, В.М.
Опубліковано 2019

Програмування в обмеженнях у системі інсерційного моделювання

за авторством Летичевський, О.А., Летичевський, О.О., Песчаненко, В.С., Блинов, І.О., Кльонов, Д.М.
Опубліковано 2011

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

за авторством Львов, М.С., Песчаненко, В.С., Летичевский, А.А., Тарасич, Ю.Г., Баев, А.С.
Опубліковано 2018

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

за авторством Летичевский, А.А., Годлевский, А.Б., Летичевский, А.А. (мл.), Потиенко, С.В., Песчаненко, В.С.
Опубліковано 2010