Skip navigation
Главная страница
Просмотр
Разделы и коллекции
Просмотр ресурсов по:
Даты випуска
Авторы
Заголовки
Темы
Справка
Язык
English
русский
українська
Зарегистрированным:
Мой архив ресурсов
Обновления на e-mail
Редактировать профиль
Донецкий национальный технический университет
Електронний архів ДонНТУ м.Покровськ
Поиск
Поиск:
Весь архив электронных ресурсов
Наукові праці ДонНТУ
Серія: Інформатика, кібернетика та обчислювальна техніка
Випуск 1
Випуск 10(153)
Випуск 11(164)
Випуск 12(165)
Випуск 13 (185)
Випуск 14(188)
Випуск 15
Випуск 15(203)
Випуск 16(204)
Випуск 39
Випуск 6
Випуск 70
Випуск 8 (120)
Випуск 9 (132)
Випуск 93
запрос
Текущие фильтры:
Название
Автор
Тема
по дате выпуска
Has File(s)
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Начать новый поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Название
Автор
Тема
по дате выпуска
Has File(s)
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Результаты 1-2 из 2.
назад
1
дальше
Найденные ресурсы:
Дата выпуска
Название
Автор(ы)
2012
An Approach to Composite Web Services Formal Verification
Shkarupylo, V.V.
;
Kudermetov, R.К.
;
ШКАРУПИЛО, В.В.
;
КУДЕРМЕТОВ, Р.К.
2012
Концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов
Шкарупило, В.В.
;
Кудерметов, Р.К.
;
Паромова, Т.А.
;
SHKARUPYLO, V.
;
KUDERMETOV, R.
;
PAROMOVA, T.
;
ПАРОМОВА, Т.О.
Просмотр
Автор
1
KUDERMETOV, R.
1
Kudermetov, R.К.
1
PAROMOVA, T.
1
SHKARUPYLO, V.
1
Shkarupylo, V.V.
1
КУДЕРМЕТОВ, Р.К.
1
Кудерметов, Р.К.
1
Паромова, Т.А.
1
ПАРОМОВА, Т.О.
1
ШКАРУПИЛО, В.В.
.
дальше >
Тема
2
Model Checking
2
Verification
2
верификация
2
верифікація
2
композитний веб-сервіс
2
композитный веб-сервис
2
формальна специфікація
2
формальная спецификация
1
Behavior
1
composite Web Service
.
дальше >
по дате выпуска
2
2012
Has File(s)
2
true