OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Items where Person is "Tsai, Wei-Tek"

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

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

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 Sat Nov 23 00:15:06 2019 CET.