Xianqi Zhao
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2011–2014
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | KSEM | Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph. | Wenjuan Wu, Dianfu Ma, Yongwang Zhao, Xianqi Zhao |
| 2012 | COMPSAC | Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software. | Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao |
| 2011 | COMPSAC | An AADL-Based Modeling Method for ARINC653-Based Avionics Software. | Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao |