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
Heterogeneous and Asynchronous Networks of Timed Systems
Research output: Contribution to journal › Article
ID: 21715100