Skip to content
12-DeViLL - A Methodology to Orchestrate a Formal Method and its Tool to an IoT Integration Platform for Smart IoT Systems

12-DeViLL - A Methodology to Orchestrate a Formal Method and its Tool to an IoT Integration Platform for Smart IoT Systems