![](/img/cover-not-exists.png)
[ACM Press the 2014 International Conference - Nanjing, China (2014.05.26-2014.05.28)] Proceedings of the 2014 International Conference on Software and System Process - ICSSP 2014 - Hierarchical timed automata based verification of dynamic evolution process in open environments
Zhou, Yu, Ge, Jidong, Zhang, PengchengYear:
2014
Language:
english
DOI:
10.1145/2600821.2600838
File:
PDF, 171 KB
english, 2014