Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/09/13 → 31/01/15 |
Formal Specification and Verification of Service Compositions in Orc Based on
- Alturki, Musab (PI)
- Kamaleldin, Moataz (CoI)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 1/09/13 → 31/01/15 |