Yanxia Qi

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2012
An Approach to Requirement Analysis for Periodic Control Systems.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

2011
An Event-B Interpretation for SPARDL Model.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010
SPARDL: A Requirement Modeling Language for Periodic Control System.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

2008
Study on Tool Wear Monitoring Based on Multi-source Information Fusion.
Proceedings of the Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence, 2008


  Loading...