Researchers from the Formal Methods and Tools (FMT) lab of ISTI-CNR are working on the application of formal methods to devise interaction protocols for safe-by-construction IoT Systems of Systems. They are also working on the empirical investigation and evaluation of the effectiveness of techniques and methodologies proposed for IoT application scenarios. The research is being conducted in the context of the national project T-LADIES, funded by the Italian Ministry of Education, University and Research (MIUR) under the program for Projects of National Interest (PRIN).
Empirical software engineering and formal methods for IoT systems
Basile D;ter Beek MH;Broccia G;Ferrari A
2022
Abstract
Researchers from the Formal Methods and Tools (FMT) lab of ISTI-CNR are working on the application of formal methods to devise interaction protocols for safe-by-construction IoT Systems of Systems. They are also working on the empirical investigation and evaluation of the effectiveness of techniques and methodologies proposed for IoT application scenarios. The research is being conducted in the context of the national project T-LADIES, funded by the Italian Ministry of Education, University and Research (MIUR) under the program for Projects of National Interest (PRIN).File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_471818-doc_191773.pdf
accesso aperto
Descrizione: Empirical software engineering and formal methods for IoT systems
Tipologia:
Versione Editoriale (PDF)
Licenza:
Creative commons
Dimensione
248.86 kB
Formato
Adobe PDF
|
248.86 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
