Show simple item record

Event-B specification of transportation system in dynamic environment: Study of urban public Transportation system

date accessioned2020-03-12T20:58:31Z
date available2020-03-12T20:58:31Z
date issued2014
identifier other6916804.pdf
identifier urihttps://libsearch.um.ac.ir:443/fum/handle/fum/1032509?show=full
formatgeneral
languageEnglish
publisherIEEE
titleEvent-B specification of transportation system in dynamic environment: Study of urban public Transportation system
typeConference Paper
contenttypeMetadata Only
identifier padid8158171
subject keywordsCapacitors
subject keywordsCurrent measurement
subject keywordsFeedback circuits
subject keywordsSystem-on-chip
subject keywordsTransient analysis
subject keywordsTransient response
subject keywordsVoltage control
subject keywordsDC-DC buck converter
subject keywordsDVS
subject keywordscapacitor-current sensor
subject keywordsdynamic voltage scaling
subject keywordsfast transient response
identifier doi10.1109/ASSCC.2014.7008859
journal titleomputer Applications & Research (WSCAR), 2014 World Symposium on
filesize1406995
citations2
contributor rawauthorGaroui, Mohamed , Mazigh, Belhassen , El Ayeb, Bechir , Koukam, Abderrafiaa


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record