搜尋
新增篩選器:
使用篩選器讓結果更精確。
第 1 到 5 筆結果,共 5 筆。
- 上一頁
- 1
- 下一頁
符合的文件:
題名 | 作者 | 日期 |
---|---|---|
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 |
Synthesis of Parametric Embedded Real-Time Systems | Hsiung, Pao-Ann | 2006-10-27T03:28:07Z |
RFID-based Automatic Airport Baggage Handling System | Chien, Jung-Yin; Wu, Chen-Yang; Hsiung, Pao-Ann; Lin, Keng-Hsien | 2007-01-25T06:29:53Z |
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems | Hsiung, Pao-Ann; Cheng, Shu-Yu | 2006-10-13T08:13:20Z |