Empirical Software Engineering and Formal Methods for IoT Systems

Davide Basile 0001, Maurice H. ter Beek, Giovanna Broccia, Alessio Ferrari 0001. Empirical Software Engineering and Formal Methods for IoT Systems. ERCIM News, 2022(131), 2022. [doi]

Abstract

Abstract is missing.