Meiling Cao

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Transition Systems

Alternating Time Temporal Logic

Formal Analysis

Top Venues

Comput. Math. Appl.

Publications

Meiling Cao, Weijie Sheng
. Comput. Math. Appl. 71 (6) (2016)
Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. TASE (2015)
Conghua Zhou, Meiling Cao, Meng Ye, Zhihao Qian
SAT-based Algorithmic Verification of Noninterference. J. Comput. 6 (11) (2011)
Yiheng Cai, Meiling Cao, Meijuan Ma
Color Correction for Digital Images Based on the Finite-Dimensional Linear-Model. CSSE (6) (2008)