•  Persian
    • Persian
    • English
  •   ورود
  • دانشگاه فردوسی مشهد
  • |
  • مرکز اطلاع‌رسانی و کتابخانه مرکزی
    • Persian
    • English
  • خانه
  • انواع منابع
    • مقاله مجله
    • کتاب الکترونیکی
    • مقاله همایش
    • استاندارد
    • پروتکل
    • پایان‌نامه
  • راهنمای استفاده
View Item 
  •   کتابخانه دیجیتال دانشگاه فردوسی مشهد
  • Fum
  • Articles
  • Latin Articles
  • View Item
  •   کتابخانه دیجیتال دانشگاه فردوسی مشهد
  • Fum
  • Articles
  • Latin Articles
  • View Item
  • همه
  • عنوان
  • نویسنده
  • سال
  • ناشر
  • موضوع
  • عنوان ناشر
  • ISSN
  • شناسه الکترونیک
  • شابک
جستجوی پیشرفته
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

نویسنده:
Jian Wang , Huawei Li , Xiaowei Li
ناشر:
IEEE
سال
: 2014
شناسه الکترونیک: 10.1109/IBERSENSOR.2014.6995525
یو آر آی: http://libsearch.um.ac.ir:80/fum/handle/fum/992570
کلیدواژه(گان): Androids,Biosensors,Current measurement,Diseases,Electrodes,Humanoid robots,Software,Android app,Electrochemical Biosensor,Point-Of-Care Diagnosis,Portable platform
کالکشن :
  • Latin Articles
  • نمایش متادیتا پنهان کردن متادیتا
  • آمار بازدید

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

Show full item record

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 urihttp://libsearch.um.ac.ir:80/fum/handle/fum/992570?locale-attribute=fa
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
  • درباره ما
نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش
DSpace software copyright © 2019-2022  DuraSpace