OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Institution is :Other partners > Nanjing University of Aeronautics and Astronautics – NUAA (CHINA)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items at this level: 3.

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, vol. 10 (n° 1). pp. 37-53. ISSN 2095-2228

Bodeveix, Jean-Paul and Filali, Mamoun and Garnacho, Manuel and Spadotti, Régis and Yang, Zhibin Towards a verified transformation from AADL to the formal component-based language FIACRE. (2015) Science of Computer Programming, vol. 106. pp. 30-53. ISSN 0167-6423

Hu, Kai and Zhang, Teng and Yang, Zhibin and Tsai, Wei-Tek Exploring AADL verification tool through model transformation. (2015) Journal of Systems Architecture, vol. 61 (n° 3-4). pp. 141-156. ISSN 1383-7621

This list was generated on Sat Jun 23 19:57:54 2018 CEST.