https://scholars.lib.ntu.edu.tw/handle/123456789/388881
Title: | Towards Formal Evaluation and Verification of Probabilistic Design | Authors: | Nian-Ze Lee Jie-Hong R. Jiang JIE-HONG JIANG |
Issue Date: | Nov-2014 | Start page/Pages: | 340-347 | Source: | International Conference on Computer- Aided Design (ICCAD) | URI: | http://scholars.lib.ntu.edu.tw/handle/123456789/388881 | DOI: | 10.1109/ICCAD.2014.7001372 |
Appears in Collections: | 電子工程學研究所 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.