Yu Zhou, JiDong Ge, Pengcheng Zhang. Hierarchical timed automata based verification of dynamic evolution process in open environments. In He Zhang, LiGuo Huang, Ita Richardson, editors, International Conference on Software and Systems Process 2014, ICSSP '14, Nanjing, China - May 26 - 28, 2014. pages 144-148, ACM, 2014. [doi]
Abstract is missing.