TOSCA (Fault-Tolerant System Design and Verification for Safety-Critical Applications)
| Stato | Concluso (31/12/2010) |
|---|---|
| Partner |
INPG (Grenoble, Francia), IST (Lisbona, Portogallo), UPCRS (Porto Alegre, Brasile), UDR (Montevideo, Uruguay), UNLP (La Plata, Argentina) |
| Committente |
Unione Europea |