IMMAGINE
NON DISPONIBILE
Modellazione, Verifica e Riuso di Sistemi (MoVeRe)
System Modelling, Verification and Reuse (MoVeRe)
Componenti
- Damiani Ferruccio (Coordinatore)
- Paolini Luca Luigi (Componente)
- Torta Gianluca (Componente)
- Audrito Giorgio (Componente)
- Donetti Simone (Componente)
- Testa Lorenzo (Dottorando/a)
- Borgarelli Andrea (Studente/essa)
- Simone Kartsiotis (Assegnista)
- Gica Stefaneschu Miralles (Assegnista)
- Muhammad Yasir Shabir (Dottorando/a)
- Giordano Scarso (Tecnico di Ricerca)
Contatti
- + 39 011 670 6719
- ferruccio.damiani@unito.it
- Sito web
- Scrivi a tutti i componenti
Settore ERC
PE6_1 - Computer architecture, embedded systems, operating systems
PE6_2 - Distributed systems, parallel computing, sensor networks, cyber-physical systems
PE6_3 - Software engineering, programming languages and systems
PE6_4 - Theoretical computer science, formal methods, automata
Attività
Si veda https://movere.di.unito.it/