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

Бази даних

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

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

Колчин А. В. К вычислению решения ЛОДУ 2-го порядка в виде <$E bold {x sup c~e sup f(x)}>. — 2004 // Искусств. интеллект.
2.

Денисенко П. Н. Математическая информационная среда для решения обыкновенных дифференциальных уравнений. — 2002 // Искусств. интеллект.
3.

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

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

Колчин А. В. Разработка инструментальных средств для проверки формальных моделей. — 2008 // Пробл. програмув.
6.

Колчин А. В. Автоматический метод оперативного построения абстракций при верификации формальных моделей асинхронных систем. — 2008 // Искусств. интеллект.
7.

Колчин А. В. Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем. — 2008 // Пробл. програмув.
8.

Колчин А. В. Автоматический метод динамического построения абстракций состояний формальной модели. — 2010 // Кибернетика и систем. анализ.
9.

Колчин А. В. Метод генерации тестовых сценариев в среде инсерционного моделирования. — 2012 // Управляющие системы и машины.
10.

Колчин А. В. Интерактивная система для анализа поведения формальных моделей программных систем. — 2012 // Искусств. интеллект.
11.

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

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

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

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