To search, Click below search items.

 

All Published Papers Search Service

Results for Region equivalence; Total 1

Title

Constructing the Reaching Region Graph for Timed Automata with PVS

Author

Huaikou Miao, Qingguo Xu
Citation

Vol. 6  No. 7  pp. 175-181

Keywords

Timed Automata, Clock region, Region equivalence, Reachability analysis, PVS

[1]