| dc.creator (作者) | 張宏慶 | zh_TW |
| dc.date (日期) | 1994-03 | en_US |
| dc.date.accessioned | 9-Jan-2009 16:42:20 (UTC+8) | - |
| dc.date.available | 9-Jan-2009 16:42:20 (UTC+8) | - |
| dc.date.issued (上傳時間) | 9-Jan-2009 16:42:20 (UTC+8) | - |
| dc.identifier.uri (URI) | https://nccur.lib.nccu.edu.tw/handle/140.119/23768 | - |
| dc.format | application/ | en_US |
| dc.language | en | en_US |
| dc.language | en-US | en_US |
| dc.language.iso | en_US | - |
| dc.relation (關聯) | International Conference on Expert Systems for Development | en_US |
| dc.title (題名) | A knowledge-Based Framework for Specification Verification of Real-Time Systems | en_US |
| dc.type (資料類型) | conference | en |
