Mei Meng

Verification of Scenario-Based Safety Requirement Specification on Components Composition

Xu Zhongwei, Mei Meng, Du Junwei, 2008, 2008 International Conference on Computer Science and Software Engineering.

A fractionally spaced blind equalizer based on linear programming

Jian-Kang Zhang, Kon Max Wong, Zhi-Quan Luo, 2002, IEEE Trans. Signal Process..

Model checking-based safety verification for railway signal safety protocol-I

Wang Xi, Xu Zhongwei, Mei Meng, 2013 .

Layout design-based research on optimization and assessment method for shipbuilding workshop

Shuang Liu, Yang Liu, Mei Meng, 2013 .

Agent-based Simulation Framework for Safety Critical System

Xu Zhongwei, Mei Meng, Zhu Yujun, 2012 .

OPRF Secure Computation for Safety Neighbor Verification Protocols of Wireless Sensor Networks

Xu Zhongwei, Mei Meng, Zhu Yujun, 2014 .

A Software Safety Verification Method Based on Model Checking

Mei Meng, 2010 .