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: 3.

Article

Yang, Zhibin and Bodeveix, Jean-Paul and Filali, Mamoun. Towards a simple and safe Objective Caml compiling framework for the synchronous language SIGNAL. (2019) Frontiers of Computer Science, 13 (4). 715-734. ISSN 2095-2228

Zhibin, Yang and Bodeveix, Jean-Paul and Filali, Mamoun and Hu, Kai and Zhao, Yong-Wang and Ma, Dianfu. Towards a verified compiler prototype for the synchronous language SIGNAL. (2016) Frontiers of Computer Science, 10 (1). 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, 51. 69-86. ISSN 1569-190X

This list was generated on Mon May 25 05:06:19 2020 CEST.