Wentao Tang, Hao Feng, Kenji Hisazumi, Akira Fukuda. A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre. In ICISS 2020: The 3rd International Conference on Information Science and System, Cambridge, UK, March 19-22, 2020. pages 166-170, ACM, 2020. [doi]
Abstract is missing.