•  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.

Are interface theories equivalent to contract theories?

نویسنده:
Nuzzo, P.
,
Iannopollo, A.
,
Tripakis, S.
,
Sangiovanni-Vincentelli, A.
ناشر:
IEEE
سال
: 2014
شناسه الکترونیک: 10.1109/ICEP.2014.6826715
یو آر آی: http://libsearch.um.ac.ir:80/fum/handle/fum/1063100
کلیدواژه(گان): CMOS analogue integrated circuits,n microactuators,n microrobots,n piezoelectric devices,n analog CMOS IC bare chip,n analog electronic circuits,n biological neuron,n circuit board,n frequency 25 kHz,n hardware neuron,n hexapod-type millimeter size microrobot,n impact drive mechanism actuator,n impact-type MEMS microrobot,n link mechanism,n microelectromechanical systems,n multilayer piezoelectric element,n pad pattern,n peripheral circuit
کالکشن :
  • Latin Articles
  • نمایش متادیتا پنهان کردن متادیتا
  • آمار بازدید

    Are interface theories equivalent to contract theories?

Show full item record

contributor authorNuzzo, P.
contributor authorIannopollo, A.
contributor authorTripakis, S.
contributor authorSangiovanni-Vincentelli, A.
date accessioned2020-03-12T21:51:40Z
date available2020-03-12T21:51:40Z
date issued2014
identifier other6961848.pdf
identifier urihttp://libsearch.um.ac.ir:80/fum/handle/fum/1063100
formatgeneral
languageEnglish
publisherIEEE
titleAre interface theories equivalent to contract theories?
typeConference Paper
contenttypeMetadata Only
identifier padid8195190
subject keywordsCMOS analogue integrated circuits
subject keywordsn microactuators
subject keywordsn microrobots
subject keywordsn piezoelectric devices
subject keywordsn analog CMOS IC bare chip
subject keywordsn analog electronic circuits
subject keywordsn biological neuron
subject keywordsn circuit board
subject keywordsn frequency 25 kHz
subject keywordsn hardware neuron
subject keywordsn hexapod-type millimeter size microrobot
subject keywordsn impact drive mechanism actuator
subject keywordsn impact-type MEMS microrobot
subject keywordsn link mechanism
subject keywordsn microelectromechanical systems
subject keywordsn multilayer piezoelectric element
subject keywordsn pad pattern
subject keywordsn peripheral circuit
identifier doi10.1109/ICEP.2014.6826715
journal titleormal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on
filesize688773
citations0
  • درباره ما
نرم افزار کتابخانه دیجیتال "دی اسپیس" فارسی شده توسط یابش برای کتابخانه های ایرانی | تماس با یابش
DSpace software copyright © 2019-2022  DuraSpace