Journal article  Open Access

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
BibTeX entry
	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}

Bibliographic record

ISTI Repository

Published version Open Access

Also available from

ercim-news.ercim.euOpen Access