瀏覽 的方式： 作者 Hsiung, Pao-Ann
顯示 1 到 7 筆資料，總共 7 筆
| 題名 | 作者 | 日期 |
| Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems | Hsiung, Pao-Ann; Cheng, Shu-Yu | 2006-10-13T08:13:20Z |
| ESSP: An Embedded Software Synthesis and Prototyping Methodology | Lee, Trong-Yen; Hsiung, Pao-Ann; Wu, I-Mu; Su, Feng-Shi | 2006-10-16T01:22:17Z |
| MISSE： A Muliti-Level Intelligent Synthesis and Simulation Environment | Hsiung, Pao-Ann | 2006-10-18T09:06:12Z |
| MRASM: A Multi-Level Rule-Based Archintectural Synthesis Methodology for Hierarchically Clustered Parallel Systems | Hsiung, Pao-Ann | 2006-10-30T01:20:29Z |
| RFID-based Automatic Airport Baggage Handling System | Chien, Jung-Yin; Wu, Chen-Yang; Hsiung, Pao-Ann; Lin, Keng-Hsien | 2007-01-25T06:29:53Z |
| Synthesis of Parametric Embedded Real-Time Systems | Hsiung, Pao-Ann | 2006-10-27T03:28:07Z |
| Tunable Embedded Software Development Platform | See, Win-Bin; Chen, Sao-Jie; Hsiung, Pao-Ann; Lee, Trong-Yen | 2006-10-23T15:01:14Z |
