http://scholars.ntou.edu.tw/handle/123456789/23038| Title: | Modelling and Verification of High-Assurance Properties of Safety-Critical Systems | Authors: | J. Tsai E. Juan |
Issue Date: | Dec-2001 | Source: | The Computer Journal | URI: | http://scholars.ntou.edu.tw/handle/123456789/23038 |
| Appears in Collections: | 資訊工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
