1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Huanhuan Sheng, Alexander Bentkamp, Bohua Zhan
We present a tool for verification of hybrid systems expressed in the sequential fragment of HCSP (Hybrid Communicating Sequential Processes). The tool permits annotating HCSP prog…