Pages that link to "Item:Q826351"
From MaRDI portal
The following pages link to An Event-B based approach for cloud composite services verification (Q826351):
Displaying 3 items.
- A verification and deployment approach for elastic component-based applications (Q1688553) (← links)
- Type theory based semantic verification for service composition in cloud computing environments (Q2200647) (← links)
- Formal verification technique for grid service chain model and its application (Q2644410) (← links)