https://scholars.lib.ntu.edu.tw/handle/123456789/497156
Title: | REDLIB for the formal verification of embedded systems | Authors: | FARN WANG | Issue Date: | 2007 | Start page/Pages: | 341-346 | Source: | Proceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation | URI: | https://scholars.lib.ntu.edu.tw/handle/123456789/497156 | DOI: | 10.1109/ISoLA.2006.68 |
Appears in Collections: | 電機工程學系 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.