OATAO - Open Archive Toulouse Archive Ouverte Open Access Week
Login | Create Account

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

This list was generated on Thu Feb 2 18:28:00 2023 CET.
oatao is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.