Towards formal evaluation and verification of probabilistic design
Published in IEEE Trans. Computers, 2018
Nian-Ze Lee and Jie-Hong R. Jiang. IEEE Transactions on Computers, 67(8):1202-1216, 2018. https://doi.org/10.1109/TC.2018.2807431
Published in IEEE Trans. Computers, 2018
Nian-Ze Lee and Jie-Hong R. Jiang. IEEE Transactions on Computers, 67(8):1202-1216, 2018. https://doi.org/10.1109/TC.2018.2807431