上一条:Han Rongbin; Wang Shihai, Transformation rules from AADL to improved colored GSPN for integrated modular avionics, Proceedings of 2016 11th International Conference on Reliability, Maintainability and Safety: Integrating Big Data, Improving Reliability and Serving Personalization.
下一条:Ye Zhiao; Wang Shihai;Zhao Tingdi, IMA Dynamic Reconfiguration Modeling and Resource Criticality Analysis Based on Petri Net, PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING.