Items where Laboratory is "School of Computer Science And Engineering (Beijing, China)"
Group by: Item Type | No Grouping Jump to: Article Number of items: 1. ArticleYang, Zhibin and Hu, Kai and Ma, Dianfu and Bodeveix, Jean-Paul and Pi, Lei and Talpin, Jean-Pierre. From AADL to Timed Abstract State Machines: A Verified Model Transformation. (2014) Journal of Systems and Software, 93. 42-68. ISSN 0164-1212 |