Modelling and Verification of High-Assurance Properties of Safety-Critical Systems

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

Show full item record

Check