Supporting Early-Safety Analysis of IoT Systems by Exploiting Testing Techniques.
Diego ClerissiJuri Di RoccoDavide Di RuscioClaudio Di SipioFelicien IhirweLeonardo MarianiDaniela MicucciMaria Teresa RossiRiccardo RubeiPublished in: MoDELS (Companion) (2023)