Xianqi Zhao

According to our database, Xianqi Zhao authored at least 3 papers between 2011 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Formal Modeling of Airborne Software High-Level Requirements Based on Knowledge Graph.

Wenjuan Wu, Dianfu Ma, Yongwang Zhao, Xianqi Zhao

Proceedings of the Knowledge Science, Engineering and Management, 2014

2012

Automatic RT-Java Code Generation from AADL Models for ARINC653-Based Avionics Software.

Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao

Proceedings of the 36th Annual IEEE Computer Software and Applications Conference, 2012

2011

An AADL-Based Modeling Method for ARINC653-Based Avionics Software.

Ying Wang, Dianfu Ma, Yongwang Zhao, Lu Zou, Xianqi Zhao

Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011