Xinjun Lv

Publication Activity (10 Years)

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

Top Topics

Decomposition Methods

Iterated Function Systems

Formal Verification

Top Venues

Publications

Tengfei Li, Junfeng Sun, Xinjun Lv, Xiang Chen, Jing Liu, Haiying Sun
Enhancing the Formal Verification of Train Control Systems based on Decomposition. COMPSAC (2023)
Meiyu Sun, Xinjun Lv
A High-Precision Approach of Traffic Anomaly Based on Fractal and Binary Symbolic. SKG (2013)