contributor author | Nuzzo, P. | |
contributor author | Iannopollo, A. | |
contributor author | Tripakis, S. | |
contributor author | Sangiovanni-Vincentelli, A. | |
date accessioned | 2020-03-12T21:51:40Z | |
date available | 2020-03-12T21:51:40Z | |
date issued | 2014 | |
identifier other | 6961848.pdf | |
identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1063100?locale-attribute=fa&show=full | |
format | general | |
language | English | |
publisher | IEEE | |
title | Are interface theories equivalent to contract theories? | |
type | Conference Paper | |
contenttype | Metadata Only | |
identifier padid | 8195190 | |
subject keywords | CMOS analogue integrated circuits | |
subject keywords | n microactuators | |
subject keywords | n microrobots | |
subject keywords | n piezoelectric devices | |
subject keywords | n analog CMOS IC bare chip | |
subject keywords | n analog electronic circuits | |
subject keywords | n biological neuron | |
subject keywords | n circuit board | |
subject keywords | n frequency 25 kHz | |
subject keywords | n hardware neuron | |
subject keywords | n hexapod-type millimeter size microrobot | |
subject keywords | n impact drive mechanism actuator | |
subject keywords | n impact-type MEMS microrobot | |
subject keywords | n link mechanism | |
subject keywords | n microelectromechanical systems | |
subject keywords | n multilayer piezoelectric element | |
subject keywords | n pad pattern | |
subject keywords | n peripheral circuit | |
identifier doi | 10.1109/ICEP.2014.6826715 | |
journal title | ormal Methods and Models for Codesign (MEMOCODE), 2014 Twelfth ACM/IEEE International Conference on | |
filesize | 688773 | |
citations | 0 | |