Empirical software engineering and formal methods for IoT systems
Basile D., Ter Beek M. H., Broccia G., Ferrari A.
Empirical software engineering Formal methods IoT systems Systems of Systems
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).
Source: ERCIM news 131 (2022): 34–35.
Publisher: ERCIM., Le Chesnay
Back to previous page
@article{oai:it.cnr:prodotti:471818,
title = {Empirical software engineering and formal methods for IoT systems},
author = {Basile D. and Ter Beek M. H. and Broccia G. and Ferrari A.},
publisher = {ERCIM., Le Chesnay},
journal = {ERCIM news},
volume = {131},
pages = {34–35},
year = {2022}
}
0000-0002-7196-6609ISTI Repository
Also available from
