+
访问量:
开通时间:..
最后更新时间:..
发布时间:2022-02-21 点击次数:
上一条:[c12]Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Pei, Guangyuan Li: Verifying RTuinOS using VCC: From approach to practice. SNPD 2016: 373-378
下一条:[c10]Hongliang Liang, Qian Zhao, Yuying Wang, Haifeng Liu: Understanding and detecting performance and security bugs in IOT OSes. SNPD 2016: 413-418