Ming Lei

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Possibility Theory

Temporal Properties

Sensor Placement

Bandwidth Usage

Top Venues

Parallel Comput.

Publications

Bin Yu, Xu Lu, Cong Tian, Meng Wang, Chu Chen, Ming Lei, Zhenhua Duan
Adaptively parallel runtime verification based on distributed network for temporal properties. Parallel Comput. 117 (2023)