РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»
Оберіть мову
Ukrainian
Arabic
Armenian
Azerbaijani
Belarusian
Bulgarian
Chinese (Simplified)
Chinese (Traditional)
Czech
Danish
Dutch
English
Estonian
Finnish
French
Georgian
German
Greek
Hebrew
Hindi
Hungarian
Icelandic
Irish
Italian
Japanese
Korean
Latvian
Lithuanian
Norwegian
Persian
Polish
Portuguese
Romanian
Russian
Serbian
Slovak
Slovenian
Spanish
Swahili
Swedish
НОВІ
НАДХОДЖЕННЯ
ПОШУК
РУБРИКАТОР
Бази даних
Реферативна база даних - результати пошуку
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Вид пошуку
Ключові слова (без закінчення)
Автор (тільки прізвище)
Назва
Рік видання
Сортувати знайдені документи за:
автором
назвою
роком видання
видом документа
Знайдено в інших БД:
Книжкові видання та компакт-диски (5)
Наукова періодика України (13)
Пошуковий запит:
(<.>A=Колчин А$<.>)
Загальна кількість знайдених документів
:
13
Представлено документи
з 1 до 13
1.
Денисенко П. Н.
Математическая информационная среда для решения обыкновенных дифференциальных уравнений
. — 2002 //
Искусств. интеллект
.
2.
Колчин А
. В.
К вычислению решения ЛОДУ 2-го порядка в виде <$E bold {x sup c~e sup f(x)}>
. — 2004 //
Искусств. интеллект
.
3.
Потиенко С. В.
Представление SDL-спецификаций в виде базовых протоколов
. — 2006 //
Искусств. интеллект
.
4.
Потиенко С. В.
Трансляция MSC сценариев в язык базовых протоколов
. — 2007 //
Искусств. интеллект
.
5.
Колчин А
. В.
Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем
. — 2008 //
Пробл. програмув
.
6.
Колчин А
. В.
Автоматический метод оперативного построения абстракций при верификации формальных моделей асинхронных систем
. — 2008 //
Искусств. интеллект
.
7.
Колчин А
. В.
Разработка инструментальных средств для проверки формальных моделей
. — 2008 //
Пробл. програмув
.
8.
Колчин А
. В.
Автоматический метод динамического построения абстракций состояний формальной модели
. — 2010 //
Кибернетика и систем. анализ
.
9.
Колчин А
. В.
Обзор современных систем и методов верификации формальных моделей
//
Пробл. програмув.
. - 2012. - № 4.
10.
Колчин А
. В.
Интерактивная система для анализа поведения формальных моделей программных систем
. — 2012 //
Искусств. интеллект
.
11.
Колчин А
. В.
Метод генерации тестовых сценариев в среде инсерционного моделирования
. — 2012 //
Управляющие системы и машины
.
12.
Колчин А
. В.
Метод статической проверки полноты и непротиворечивости в формальных моделях распределенных программных систем
//
Пробл. програмув.
. - 2014. - № 2/3 (спец. вип.).
13.
Губа А. А.
Метод извлечения логики поведения из промышленного программного кода на языке Кобол
//
Проблеми програмування
. - 2016. - N 2/3 (спец. вип.).
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України
Всі права захищені ©
Національна бібліотека України імені В. І. Вернадського