Please use this identifier to cite or link to this item:
https://ah.lib.nccu.edu.tw/handle/140.119/23768| 題名: | A knowledge-Based Framework for Specification Verification of Real-Time Systems | 作者: | 張宏慶 | 日期: | Mar-1994 | 上傳時間: | 9-Jan-2009 | 關聯: | International Conference on Expert Systems for Development | 資料類型: | conference |
| Appears in Collections: | 會議論文 |
Show full item record
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.