Overview
Contributor
GARGANTINI Angelo Michele
Scientific Manager
Representatives
ROMANIELLO Simonetta
Administrative
Leading department
Term type
RN_PRIN Progetti PRIN
Financier
MUR - MINISTERO DELL'UNIVERSITA' E DELLA RICERCA - Segretariato generale Direzione generale della ricerca - Ufficio IV
Funding Organization
Partner (2)
POLITECNICO DI MILANO
Università degli Studi di MILANO
Date/time interval
September 28, 2023 - September 28, 2025
Project duration
24 months
Research
Concepts (4)
Outputs
Outputs (3)
2025
Abstract
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines
SCIENCE OF COMPUTER PROGRAMMING2025
Academic Article
Open Access
Altmetric is disabled. Enable it on "Use of Cookies"
SIMSPIRE: A Simulator of the Respiratory System
IEEE ACCESS2025
Academic Article
Open Access
Altmetric is disabled. Enable it on "Use of Cookies"