Show simple item record

A novel abstraction-guided simulation approach using posterior probabilities for verification

contributor authorJian Wang , Huawei Li , Xiaowei Li
date accessioned2020-03-12T19:51:15Z
date available2020-03-12T19:51:15Z
date issued2014
identifier other6834864.pdf
identifier urihttps://libsearch.um.ac.ir:443/fum/handle/fum/992570?locale-attribute=en&show=full
formatgeneral
languageEnglish
publisherIEEE
titleA novel abstraction-guided simulation approach using posterior probabilities for verification
typeConference Paper
contenttypeMetadata Only
identifier padid8111671
subject keywordsAndroids
subject keywordsBiosensors
subject keywordsCurrent measurement
subject keywordsDiseases
subject keywordsElectrodes
subject keywordsHumanoid robots
subject keywordsSoftware
subject keywordsAndroid app
subject keywordsElectrochemical Biosensor
subject keywordsPoint-Of-Care Diagnosis
subject keywordsPortable platform
identifier doi10.1109/IBERSENSOR.2014.6995525
journal titleLSI Design, Automation and Test (VLSI-DAT), 2014 International Symposium on
filesize673413
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record