Event-B specification of transportation system in dynamic environment: Study of urban public Transportation system
Publisher:
Year
: 2014DOI: 10.1109/ASSCC.2014.7008859
Keyword(s): Capacitors,Current measurement,Feedback circuits,System-on-chip,Transient analysis,Transient response,Voltage control,DC-DC buck converter,DVS,capacitor-current sensor,dynamic voltage scaling,fast transient response
Collections
:
-
Statistics
Event-B specification of transportation system in dynamic environment: Study of urban public Transportation system
Show full item record
| date accessioned | 2020-03-12T20:58:31Z | |
| date available | 2020-03-12T20:58:31Z | |
| date issued | 2014 | |
| identifier other | 6916804.pdf | |
| identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1032509?locale-attribute=en | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Event-B specification of transportation system in dynamic environment: Study of urban public Transportation system | |
| type | Conference Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8158171 | |
| subject keywords | Capacitors | |
| subject keywords | Current measurement | |
| subject keywords | Feedback circuits | |
| subject keywords | System-on-chip | |
| subject keywords | Transient analysis | |
| subject keywords | Transient response | |
| subject keywords | Voltage control | |
| subject keywords | DC-DC buck converter | |
| subject keywords | DVS | |
| subject keywords | capacitor-current sensor | |
| subject keywords | dynamic voltage scaling | |
| subject keywords | fast transient response | |
| identifier doi | 10.1109/ASSCC.2014.7008859 | |
| journal title | omputer Applications & Research (WSCAR), 2014 World Symposium on | |
| filesize | 1406995 | |
| citations | 2 | |
| contributor rawauthor | Garoui, Mohamed , Mazigh, Belhassen , El Ayeb, Bechir , Koukam, Abderrafiaa |