Carlo Alberto Furia
Original record- Institution
- Politecnico di Milano
- Year
- 2007
- Country
- Italy
- MGP identifier
- 193909
Dissertation: Scaling Up the Formal Analysis of Real-Time Systems
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Dino MandrioliInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Mohammad Rezaalipour | Università della Svizzera italiana | 2024 | 0 |