Treffer: DDCA: A Data-Driven Context-aware Formal Verification Framework for IoT Systems

Title:
DDCA: A Data-Driven Context-aware Formal Verification Framework for IoT Systems
Authors:
Liu, Jishun, Cao, Yaohe, Tian, Ting, Zhou, Zhengda
Source:
2025 4th International Conference on Networks, Communications and Information Technology (CNCIT) Networks, Communications and Information Technology (CNCIT), 2025 4th International Conference on. :1-5 Jul, 2025
Relation:
2025 4th International Conference on Networks, Communications and Information Technology (CNCIT)
Database:
IEEE Xplore Digital Library