A novel abstraction-guided simulation approach using posterior probabilities for verification
Publisher:
Year
: 2014DOI: 10.1109/IBERSENSOR.2014.6995525
Keyword(s): Androids,Biosensors,Current measurement,Diseases,Electrodes,Humanoid robots,Software,Android app,Electrochemical Biosensor,Point-Of-Care Diagnosis,Portable platform
Collections
:
-
Statistics
A novel abstraction-guided simulation approach using posterior probabilities for verification
Show full item record
| 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 | http://libsearch.um.ac.ir:80/fum/handle/fum/992570?locale-attribute=en | |
| 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 |