Type theory based semantic verification for service composition in cloud computing environments (Q2200647)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 7250291
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Type theory based semantic verification for service composition in cloud computing environments |
scientific article; zbMATH DE number 7250291 |
Statements
Type theory based semantic verification for service composition in cloud computing environments (English)
0 references
22 September 2020
0 references
type theory
0 references
cloud service composition
0 references
semantic verification
0 references
theoretical proof
0 references
software-as-a-service applications
0 references
0.72139972448349
0 references
0.7160307168960571
0 references
0.6912004351615906
0 references
0.6718147397041321
0 references
