DeViLL: A Methodology to Orchestrate a Formal Method and Its Tool to an IoT Integration Platform for Smart IoT Systems

2026 Book chapter

View at publisher
Authors: Junsup Song, Dongsu Seo, Jinyoung Choi
DOI: 10.1007/978-3-031-98660-4_12
Cited by: 0
References: 8

Fields of Study & Subjects

Safety Systems Engineering in Autonomy Smart Grid Security and Resilience Formal Methods in Verification

Publication details

Pages
253–272
Publication date
1 January 2026
Language
EN
Document type
Book chapter