A Verification Method for Security and Safety of IoT Applications through DSM Language and Lustre
Wentao Tang, Hao Feng, Kenji Hisazumi, Akira Fukuda
研究成果: Conference contribution
1
被引用数
(Scopus)