Yanxia Qi

According to our database, Yanxia Qi authored at least 4 papers between 2008 and 2012.

Collaborative distances:

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

2012

An Approach to Requirement Analysis for Periodic Control Systems.

Jianwen Li, Geguang Pu, Zheng Wang, Yuxiang Chen, Liyun Zhang, Yanxia Qi, Bin Gu

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

2011

An Event-B Interpretation for SPARDL Model.

Jianwen Li, Zheng Wang, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

SPARDL: A Requirement Modeling Language for Periodic Control System.

Zheng Wang, Jianwen Li, Yongxin Zhao, Yanxia Qi, Geguang Pu, Jifeng He, Bin Gu

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2008

Study on Tool Wear Monitoring Based on Multi-source Information Fusion.

Lanshen Guo, Haiwei Zhang, Yanxia Qi, Zhi Wei

Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 2008