EDALab s.r.l.
External Funding Bodies
- Address
- Strada le Grazie, 15 - Verona
| Title | People in charge | Starting date |
|---|---|---|
| Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I) | Graziano Pravadelli | 10/14/10 |
| Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III) | Graziano Pravadelli | 10/14/10 |
| Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V) | Graziano Pravadelli | 10/14/10 |
| Architetture per sistemi embedded di controllo e comunicazione | Graziano Pravadelli | 1/1/10 |
| Architetture per la gestione integrata di sistemi di rete | Graziano Pravadelli | 1/1/10 |
| Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori | Graziano Pravadelli | 1/1/10 |
| Modellazione e verifica di sistemi embedded | Graziano Pravadelli | 11/26/09 |
| Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite | Graziano Pravadelli | 11/7/08 |
| Year | Number |
|---|---|
| 2010 |
6
|
| 2009 |
1
|
| 2008 |
1
|
