OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "School of Computer Science And Engineering (Beijing, China)"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Article
Number of items: 1.

Article

Yang, 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, vol. 93. pp. 42-68. ISSN 0164-1212

This list was generated on Tue Sep 26 11:09:31 2017 CEST.