北京邮电大学主页平台管理系统 Liang Hongliang--Home-- [c12]Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Pei, Guangyuan Li: Verifying RTuinOS using VCC: From approach to practice. SNPD 2016: 373-378

Liang Hongliang

Associate professor
Supervisor of Doctorate Candidates
Supervisor of Master's Candidates

MORE>

Language：中文

Paper Publications

[c12]Hongliang Liang, Daijie Zhang, Xiaodong Jia, Xiaoxiao Pei, Guangyuan Li: Verifying RTuinOS using VCC: From approach to practice. SNPD 2016: 373-378

Hits:

Translation or Not:no

Pre One:[c13]Hongliang Liang, Qichen Hao, Mingyu Li, Yini Zhang: Semantics-Based Anomaly Detection of Processes in Linux Containers. IIKI 2016: 60-63

Next One:[c11]Hongliang Liang, Lei Wang, Dongyang Wu, Jiuyun Xu: MLSA: A static bugs analysis tool based on LLVM IR. SNPD 2016: 407-412

Copyright Convention Beijing Post and Telecommunications University Address: 1000876 Beijing ICP, 05064445 Beijing Public Website 1104 02430070
Click： MOBILE Version login BUPT

Opening Time:..

The Last Update Time: ..