Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/25 → 31/12/25 |
Formal Modelling and Analysis of Digital Twins Using Maude
- Azzedin, Farag (PI)
- Hassine, Jameleddine (CoI)
- Hammoudeh, Mohammad (CoI)
Project: Research
Project: Research
| Status | Finished |
|---|---|
| Effective start/end date | 1/01/25 → 31/12/25 |