Model and Algorithm for Efficient Verification of High-Assurance Properties of Real-Time Systems

Please use this identifier to cite or link to this item: 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:	資訊工程學系

Show full item record

Check