SE

Learning of Behavioural Models and Dependency Graphs for Communicating Systems with CkTailv2
This paper presents a model learning approach to recover models from event logs for communicating systems. We refer here to systems …
Sébastien Salva and Elliott Blot
PDF Cite
MLCA: a Model-Learning-Checking Approach for IoT Systems
The Internet of Things (IoT) is a broad concept comprising a wide ecosystem of interconnected services and devices connected to the …
Sébastien Salva and Elliott Blot
PDF Cite Project DOI