OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Laboratory is "State Key Laboratory of Software Development Environment (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: 2.

Article

Zhibin, Yang and Bodeveix, Jean-Paul and Filali, Mamoun and Hu, Kai and Zhao, Yongwang and Ma, Dianfu Towards a verified compiler prototype for the synchronous language SIGNAL. (2016) Frontiers of Computer Science, vol. 10 (n° 1). pp. 37-53. ISSN 2095-2228

Hu, Kai and Zhang, Teng and Yang, Zhibin and Tsai, Wei-Tek Simulation of real-time systems with clock calculus. (2015) Simulation Modelling Practice and Theory, vol. 51. pp. 69-86. ISSN 1569-190X

This list was generated on Tue Nov 21 15:47:01 2017 CET.