Yan Rong-jie

发表

Model-checking Tool Based on Finite Precision Timed Automata (FPTA)

Xu Yu-bo, Yan Rong-jie, 2006 .

Reachability Checking of Finite Precision Timed Automata

Xu Yu-bo, Yan Rong-jie, Rongjie Yan, 2006 .