Are interface theories equivalent to contract theories?
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/ICEP.2014.6826715
کلیدواژه(گان): 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
کالکشن
:
-
آمار بازدید
Are interface theories equivalent to contract theories?
Show full item record
| 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 | |
| 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 |