Their project, “rCOS Formal Model Driven Method for Software Development”**, received the second-class in the Natural Science Award category.**Prof. Li Xiaoshan from FST and the United Nations University—International Institute for Software Technology jointly submitted an application for this project.
