Skip navigation
Главная страница
Просмотр
Разделы и коллекции
Просмотр ресурсов по:
Даты випуска
Авторы
Заголовки
Темы
Справка
Язык
English
русский
українська
Зарегистрированным:
Мой архив ресурсов
Обновления на e-mail
Редактировать профиль
Донецкий национальный технический университет
Електронний архів ДонНТУ м.Покровськ
Поиск
Поиск:
Весь архив электронных ресурсов
Наукові праці ДонНТУ
Серія: Інформатика, кібернетика та обчислювальна техніка
Випуск 15(203)
запрос
Текущие фильтры:
Название
Автор
Тема
по дате выпуска
Has File(s)
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Начать новый поиск
Добавить фильтры:
Используйте фильтры для уточнения результатов поиска.
Название
Автор
Тема
по дате выпуска
Has File(s)
Равно
Содержит
ID
Не равно
Не содержит
Не ID
Результаты 1-1 из 1.
назад
1
дальше
Найденные ресурсы:
Дата выпуска
Название
Автор(ы)
2012
Концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов
Шкарупило, В.В.
;
Кудерметов, Р.К.
;
Паромова, Т.А.
;
SHKARUPYLO, V.
;
KUDERMETOV, R.
;
PAROMOVA, T.
;
ПАРОМОВА, Т.О.
Просмотр
Автор
1
KUDERMETOV, R.
1
PAROMOVA, T.
1
SHKARUPYLO, V.
1
Кудерметов, Р.К.
1
Паромова, Т.А.
1
ПАРОМОВА, Т.О.
1
Шкарупило, В.В.
Тема
1
composite Web Service
1
DEVS
1
Formal Specification
1
Model Checking
1
Temporal Logic of Actions
1
Verification
1
валидация
1
валідація
1
верификация
1
верифікація
.
дальше >
по дате выпуска
1
2012
Has File(s)
1
true