Dati Generali
Partecipanti
RICCOBENE ELVINIA MARIA
Responsabile scientifico
Dipartimenti coinvolti
Tipo
PRIN2022 - PRIN bando 2022
Finanziatore
MINISTERO DELL'UNIVERSITA' E DELLA RICERCA
Organizzazione Esterna Ente Finanziatore
Periodo di attività
Settembre 28, 2023 - Febbraio 28, 2026
Durata progetto
29 mesi
Aree Di Ricerca
Pubblicazioni
Pubblicazioni (3)
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines
SCIENCE OF COMPUTER PROGRAMMINGELSEVIER
2025
Articolo
Open Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"
SIMSPIRE: A Simulator of the Respiratory System
IEEE ACCESSINSTITUTE OF ELECTRICAL AND ELECTRONICS ENGINEERS INC.
2025
Articolo
Open Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"
An ASM-Based Approach for Security Assessment of Ethereum Smart Contracts
SCIENCE AND TECHNOLOGY PUBLICATIONS, LDA2024
Contributo in Atti di convegno
Open Access
Altmetric disabilitato. Abilitalo su "Utilizzo dei cookie"