Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/07/16 → 30/06/19 |
Funding
- UK industry, commerce and public corporations: £37,150.00
Formal Decomposition of Strongly coupled Systems
- Danos, Vincent (Principal Investigator)
| Status | Finished |
|---|---|
| Effective start/end date | 1/07/16 → 30/06/19 |