Skip to content

GitLab

Explore

Sign in
Register

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

Project information

4 Commits
1 Branch
0 Tags

README

Created on

December 12, 2024

Copy HTTPS clone URLhttps://code.omilab.org/resources/book-volume-3/11-devill-a-methodology-to-orchestrate-a-formal-method-and-its-tool-to-an-iot-integration-platform-for-smart-iot-systems.git

Loading

Code Repository of the OMiLAB Community (operated by OMiLAB NPO)