contributor author | Jian Wang , Huawei Li , Xiaowei Li | |
date accessioned | 2020-03-12T19:51:15Z | |
date available | 2020-03-12T19:51:15Z | |
date issued | 2014 | |
identifier other | 6834864.pdf | |
identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/992570?locale-attribute=en&show=full | |
format | general | |
language | English | |
publisher | IEEE | |
title | A novel abstraction-guided simulation approach using posterior probabilities for verification | |
type | Conference Paper | |
contenttype | Metadata Only | |
identifier padid | 8111671 | |
subject keywords | Androids | |
subject keywords | Biosensors | |
subject keywords | Current measurement | |
subject keywords | Diseases | |
subject keywords | Electrodes | |
subject keywords | Humanoid robots | |
subject keywords | Software | |
subject keywords | Android app | |
subject keywords | Electrochemical Biosensor | |
subject keywords | Point-Of-Care Diagnosis | |
subject keywords | Portable platform | |
identifier doi | 10.1109/IBERSENSOR.2014.6995525 | |
journal title | LSI Design, Automation and Test (VLSI-DAT), 2014 International Symposium on | |
filesize | 673413 | |
citations | 0 | |