Study on Educational Informatization and the Construction and Development of Learning Society. - Huaping Gong; Sufen Yan; Qiong Xia (CSSE (5), 2008)

A novel symbolic model for analyzing Internet of Things protocols based on event logic. - Zehuan Li; Meihua Xiao; Yangping Xu; Fangping Chen; Huaibin Shao; Sufen Yan (Comput. Secur., 2025)