Verification and correctness of service-oriented systems
Project: Research
- Fiadeiro, José Luiz (PI)
| Status | Finished |
|---|---|
| Effective start/end date | 1/10/12 → 31/12/12 |
Funding
Eng & Phys Sci Res Council EPSRC: £6,700
Research outputs
Dynamic networks of heterogeneous timed machines
Research output: Contribution to journal › Article › peer-review
Heterogeneous and asynchronous networks of timed systems
Research output: Contribution to journal › Article › peer-review
ID: 21715100