Pages that link to "Item:Q2644410"
From MaRDI portal
The following pages link to Formal verification technique for grid service chain model and its application (Q2644410):
Displaying 3 items.
- An Event-B based approach for cloud composite services verification (Q826351) (← links)
- Dynamic scheduling model of computing resource based on MAS cooperation mechanism (Q848259) (← links)
- Formal verification of temporal properties for reduced overhead in grid scientific workflows (Q2637258) (← links)