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

by Годлевский, А.Б.
Published 2010

Инсерционная семантика параллельных процедурных конструктов языка UCM

by Годлевский, А.Б.
Published 2012

Киберфизические системы: лингвистический аспект

by Годлевский, А.Б., Мороховец, М.К.
Published 2020

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

by Годлевский, А.Б., Потиенко, С.В.
Published 2010

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

by Годлевский, А.Б., Мищенко, Н.М., Мороховец, М.К., Фелижанко, О.Д., Щеголева, Н.Н.
Published 2016

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

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