РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР

Бази даних

Реферативна база даних - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Книжкові видання та компакт-диски (1)Наукова періодика України (9)
Пошуковий запит: (<.>A=Потиенко С$<.>)
Загальна кількість знайдених документів : 9
Представлено документи з 1 до 9
1.

Потиенко С. В. Представление SDL-спецификаций в виде базовых протоколов. — 2006 // Искусств. интеллект.
2.

Потиенко С. В. Трансляция MSC сценариев в язык базовых протоколов. — 2007 // Искусств. интеллект.
3.

Потиенко С. В. Методы прямого и обратного символьного моделирования систем, заданных базовыми протоколами. — 2008 // Пробл. програмув.
4.

Летичевский А. А. Свойства предикатного трансформера системи VRS. — 2010 // Кибернетика и систем. анализ.
5.

Потиенко С. В. Статическая проверка требований и подходы к решению проблемы достижимости. — 2009 // Искусств. интеллект.
6.

Потиенко С. В. Организация базы знаний о переходах системы с атрибутами перечислимых типов. — 2012 // Управляющие системы и машины.
7.

Колчин А. В. Обзор современных систем и методов верификации формальных моделей // Пробл. програмув.. - 2012. - № 4.
8.

Колчин А. В. Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем // Пробл. програмув.. - 2014. - № 2/3 (спец. вип.).
9.

Губа А. А. Метод извлечения логики поведения из промышленного программного кода на языке Кобол // Проблеми програмування. - 2016. - N 2/3 (спец. вип.).
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського