Sébastien Salva and Elliott Blot: Verifying the Application of Security Measures in IoT Software Systems with Model Learning. (2020)conf/icsoft/SalvaB2010.5220/0009872103500360Verifying the Application of Security Measures in IoT Software Systems with Model Learning.2Sébastien Salva1Elliott Blot2350-360ICSOFTICSOFT20202020provenance information for RDF data of dblp record 'conf/icsoft/SalvaB20'2020-07-29T18:51:34+0200