Xinjun Lv

According to our database, Xinjun Lv authored at least 2 papers between 2013 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Enhancing the Formal Verification of Train Control Systems based on Decomposition.

Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

2013

A High-Precision Approach of Traffic Anomaly Based on Fractal and Binary Symbolic.

Meiyu Sun, Xinjun Lv

Proceedings of the Ninth International Conference on Semantics, Knowledge and Grids, 2013