|
JAIST Repository >
b. 情報科学研究科・情報科学系 >
b10. 学術雑誌論文等 >
b10-1. 雑誌掲載論文 >
著者: "Cheng, Zhuo"
4 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 18-Apr-2013 | Study of temperature control in cyber-physical home system environment | Cheng, Zhuo; Tan, Yasuo; Lim, Azman Osman |
| 2016 | A case study: SOFL + model checking for OSEK/VDX application | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
| 8-Nov-2016 | Design and evaluation of hybrid temperature control for cyber-physical home systems | Cheng, Zhuo; Tan, Yasuo; Lim, Yuto |
| 1-May-2017 | SMT-based scheduling for overloaded real-time systems | Cheng, Zhuo; Zhang, Haitao; Tan, Yasuo; Lim, Yuto |
|
