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]
@inproceedings{TangFHF20,
title = {A Verification Method for Security and Safety of IoT Applications Through DSM Language and Lustre},
author = {Wentao Tang and Hao Feng and Kenji Hisazumi and Akira Fukuda},
year = {2020},
doi = {10.1145/3388176.3388211},
url = {https://doi.org/10.1145/3388176.3388211},
researchr = {https://researchr.org/publication/TangFHF20},
cites = {0},
citedby = {0},
pages = {166-170},
booktitle = {ICISS 2020: The 3rd International Conference on Information Science and System, Cambridge, UK, March 19-22, 2020},
publisher = {ACM},
isbn = {978-1-4503-7725-6},
}