Mingdi Xu

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 6

Top Topics

Automated Verification

Monotonicity Property

Abnormal Behavior

Top Venues

SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI

IEEE Trans. Serv. Comput.

Publications