| index | Title |
| 1 | Validation of static properties in unified modeling language models for cyber physical systems Author(s):Gabriela Magureanu, Madalin Gavrilescu, Dan Pescaru Clicked:11455 Download:4882 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 Yin, Zhong Shao, Meng-qi Liu, Hao Chen Clicked:8049 Download:3731 Cited:0 <Full Text> <PPT> 2231 Frontiers of Information Technology & Electronic Engineering 2019 Vol.20 No.3 P.353-362 DOI:10.1631/FITEE.1800636 |
| 3 | A cooperative heterogeneous vehicular clustering framework for efficiency improvement Author(s):Iftikhar Ahmad, Rafidah Md Noor, Zaheed Ahmed, Umm-e-Habiba , Naveed Akram, Fausto Pedro García Márquez Clicked:8481 Download:13014 Cited:0 <Full Text> Frontiers of Information Technology & Electronic Engineering 2021 Vol.22 No.9 P.1247-1259 DOI:10.1631/FITEE.2000260 |
