To search, Click below search items.
All Published Papers Search Service
Title
Constructing the Reaching Region Graph for Timed Automata with PVS
Author
Huaikou Miao, Qingguo Xu
Vol. 6 No. 7 pp. 175-181
Keywords
Timed Automata, Clock region, Region equivalence, Reachability analysis, PVS