Are interface theories equivalent to contract theories?
Publisher:
Year
: 2014DOI: 10.1109/ICEP.2014.6826715
Keyword(s): 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
Collections
:
-
Statistics
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 | http://libsearch.um.ac.ir:80/fum/handle/fum/1063100?locale-attribute=en | |
| 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 |