Skip navigation
Головна сторінка
Перегляд
Фонди та зібрання
Перегляд матеріалів за:
Дати випуску
Автори
Заголовки
Теми
Довідка
Мова
English
русский
українська
Зареєстрованим:
Мій архів матеріалів
Оновлення на e-mail
Обліковий запис
Донецький національний технічний університет
Електронний архів ДонНТУ м.Покровськ
Пошук
Пошук:
Весь архів електронних ресурсів
Архів публікацій до 2014 року
Випускні кваліфікаційні роботи (проекти)
Відділ міжнародних зв’язків
Гірничий факультет
Інститут комп'ютерних наук і технологій
Навчально-науковий індустріальний інститут
Наукові видання ДонНТУ
Наукові праці ДонНТУ
Факультет Економіко-гуманітарний
Факультет Комп'ютерно-інформаційних технологій та автоматизації
Факультет машинобудування, електроінженерії та хімічних технологій
запит
Поточні фільтри:
Назва
Автор
Тема
за датою випуску
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
Formal Specification
2
Model Checking
2
Verification
2
верификация
2
верифікація
2
композитний веб-сервіс
2
композитный веб-сервис
2
формальная спецификация
1
Behavior
1
composite Web Service
.
далі >
за датою випуску
2
2012
Has File(s)
2
true