http://scholars.ntou.edu.tw/handle/123456789/23036| Title: | Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems | Authors: | J. Tsai A. Sahay E. Juan |
Issue Date: | Mar-2003 | Source: | IEEE Transactions on Knowledge and Data Engineering | URI: | http://scholars.ntou.edu.tw/handle/123456789/23036 |
| Appears in Collections: | 資訊工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
