Author:
Kojima Hideharu,Yanai Naoto
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Model Checking Method for Secure Routing Protocols by SPIN with State Space Reduction;2020 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW);2020-05
2. Improving Safety and Ease of Use in Automatic Electric Vehicle Rental Systems;2020 IEEE 15th International Conference on Advanced Trends in Radioelectronics, Telecommunications and Computer Engineering (TCSET);2020-02