Show simple item record

date accessioned2020-03-12T21:19:05Z
date available2020-03-12T21:19:05Z
date issued2014
identifier other6934097.pdf
identifier urihttps://libsearch.um.ac.ir:443/fum/handle/fum/1044626?locale-attribute=en&show=full
formatgeneral
languageEnglish
publisherIEEE
titleWelcome
typeConference Paper
contenttypeMetadata Only
identifier padid8172979
subject keywordsautomotive engineering
subject keywordsprogram testing
subject keywordssoftware reliability
subject keywordssource code (software)
subject keywordsUPPAAL model
subject keywordsautomotive software
subject keywordsmodern automotive systems
subject keywordssoftware reliability
subject keywordssoftware safety
subject keywordssource code testing
subject keywordsAutomata
subject keywordsAutomotive engineering
subject keywordsClocks
subject keywordsReal-time systems
subject keywordsSoftware
subject keywordsSwitches
subject keywordsTesting
subject keywordsUPPAAL
subject keywordsautomotive software
subject keywordstimed automata
identifier doi10.1109/ICSESS.2014.6933521
journal titleew Circuits and Systems Conference (NEWCAS), 2014 IEEE 12th International
filesize276171
citations0


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