Towards Formal Evaluation and Verification of Probabilistic Design
Work
Year: 2018
Type: article
Source: IEEE Transactions on Computers
Authors Nian-Ze Lee, Jie-Hong R. Jiang
Institution National Taiwan University
Cites: 45
Cited by: 12
Related to: 10
FWCI: 1.59
Citation percentile (by year/subfield): 66.97
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed
Funders Ministry of Science and Technology, Taiwan, Ministry of Science and Technology, Taiwan, Ministry of Science and Technology, Taiwan, Ministry of Science and Technology, Taiwan
Grant IDS 106-2923-E-002-002-MY3, 103-2221-E-002-273, 105-2221-E-002-196-MY3, 104-2628-E-002-013-MY3