| index | Title |
| 1 | Validation of static properties in unified modeling language models for cyber physical systems Author(s):Gabriela Magureanu, Madalin Gavril... Clicked:11637 Download:5184 Cited:2 <Full Text> Journal of Zhejiang University Science C 2013 Vol.14 No.5 P.332-346 DOI:10.1631/jzus.C1200263 |
| 2 | A new hierarchical software architecture towards safety-critical aspects of a drone system Author(s):Xiao-rui Zhu, Chen Liang, Zhen-guo... Clicked:8192 Download:4030 Cited:0 <Full Text> <PPT> 2310 Frontiers of Information Technology & Electronic Engineering 2019 Vol.20 No.3 P.353-362 DOI:10.1631/FITEE.1800636 |