Type theory based semantic verification for service composition in cloud computing environments (Q2200647)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Type theory based semantic verification for service composition in cloud computing environments |
scientific article |
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
