Dati Generali
Partecipanti
GARGANTINI Angelo Michele
Responsabile scientifico
Referenti
ROMANIELLO Simonetta
Amministrativo
Dipartimenti coinvolti
Tipo
RN_PRIN Progetti PRIN
Finanziatore
MUR - MINISTERO DELL'UNIVERSITA' E DELLA RICERCA - Segretariato generale Direzione generale della ricerca - Ufficio IV
Ente Finanziatore
Capofila
Università degli Studi di BERGAMO
Partner (2)
POLITECNICO DI MILANO
Università degli Studi di MILANO
Periodo di attività
Settembre 28, 2023 - Settembre 28, 2025
Durata progetto
24 mesi
Ricerca
Settori (4)
Pubblicazioni
Pubblicazioni
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines
SCIENCE OF COMPUTER PROGRAMMING2025
Articolo
Open Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"