Пашинин А.А.

Инструментальные средства автоматизации разработки научных сервисов Метод булевых ограничений в качественном анализе Метод булевых ограничений в качественном анализе двоичных динамических систем Методы и средства синтеза линейной обратной связи в двоичных динамических систе… Параллельное решение задачи о статическом регуляторе для двоичных динамических … Сервис-ориентированная технология создания и применения децентрализованных муль… Сервис-ориентированные средства распределенного решения декомпозируемых вычисли… Сервис-ориентированные инструментальные средства для решения задач булевой выпо… Интеллектуализация децентрализованного управления распределенными вычислениями