Skip navigation
Home
Browse
Communities
& Collections
Browse Items by:
Issue Date
Author
Title
Subject
Help
Language
English
русский
українська
Sign on to:
My DSpace
Receive email
updates
Edit Profile
Donetsk National Technical University
Електронний архів ДонНТУ м.Покровськ
Search
Search:
All of DSpace
Наукові праці ДонНТУ
Серія: Інформатика, кібернетика та обчислювальна техніка
Випуск 1
Випуск 10(153)
Випуск 11(164)
Випуск 12(165)
Випуск 13 (185)
Випуск 14(188)
Випуск 15
Випуск 15(203)
Випуск 16(204)
Випуск 39
Випуск 6
Випуск 70
Випуск 8 (120)
Випуск 9 (132)
Випуск 93
for
Current filters:
Title
Author
Subject
Date Issued
Has File(s)
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Start a new search
Add filters:
Use filters to refine the search results.
Title
Author
Subject
Date Issued
Has File(s)
Equals
Contains
ID
Not Equals
Not Contains
Not ID
Results 1-1 of 1 (Search time: 0.001 seconds).
previous
1
next
Item hits:
Issue Date
Title
Author(s)
2012
Концептуальная модель процесса автоматизированного синтеза композитных веб-сервисов
Шкарупило, В.В.
;
Кудерметов, Р.К.
;
Паромова, Т.А.
;
SHKARUPYLO, V.
;
KUDERMETOV, R.
;
PAROMOVA, T.
;
ПАРОМОВА, Т.О.
Discover
Author
1
KUDERMETOV, R.
1
PAROMOVA, T.
1
SHKARUPYLO, V.
1
Кудерметов, Р.К.
1
Паромова, Т.А.
1
Шкарупило, В.В.
Subject
1
composite Web Service
1
DEVS
1
Formal Specification
1
Model Checking
1
Temporal Logic of Actions
1
Validation
1
Verification
1
валидация
1
валідація
1
верификация
.
next >
Date issued
1
2012
Has File(s)
1
true