Browsing by Author Chia-Yuan Uang
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2004 | 使用正規符號模型驗證器的聲明檢驗法 | 汪加元; Chia-Yuan Uang; 周景揚; 莊仁輝; Dr. Jing-Yang Jou; Dr. Jen-Hui Chuang; 資訊學院資訊學程 |
Issue Date | Title | Author(s) |
---|---|---|
2004 | 使用正規符號模型驗證器的聲明檢驗法 | 汪加元; Chia-Yuan Uang; 周景揚; 莊仁輝; Dr. Jing-Yang Jou; Dr. Jen-Hui Chuang; 資訊學院資訊學程 |