https://scholars.lib.ntu.edu.tw/handle/123456789/497156
標題: | REDLIB for the formal verification of embedded systems | 作者: | FARN WANG | 公開日期: | 2007 | 起(迄)頁: | 341-346 | 來源出版物: | 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 |
顯示於: | 電機工程學系 |
在 IR 系統中的文件,除了特別指名其著作權條款之外,均受到著作權保護,並且保留所有的權利。