Verifying the Application of Security Measures in IoT Software Systems with Model Learning

Sébastien Salva, Elliott Blot
January, 2020
PDF Cite DOI
Type
1
Publication
Proceedings of the 15th International Conference on Software Technologies, ICSOFT 2020, Lieusaint, Paris, France, July 7-9, 2020