Welcome
ناشر:
سال
: 2014شناسه الکترونیک: 10.1109/ICSESS.2014.6933521
کلیدواژه(گان): automotive engineering,program testing,software reliability,source code (software),UPPAAL model,automotive software,modern automotive systems,software reliability,software safety,source code testing,Automata,Automotive engineering,Clocks,Real-time systems,Software,Switches,Testing,UPPAAL,automotive software,timed automata
کالکشن
:
-
آمار بازدید
Welcome
Show full item record
date accessioned | 2020-03-12T21:19:05Z | |
date available | 2020-03-12T21:19:05Z | |
date issued | 2014 | |
identifier other | 6934097.pdf | |
identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/1044626 | |
format | general | |
language | English | |
publisher | IEEE | |
title | Welcome | |
type | Conference Paper | |
contenttype | Metadata Only | |
identifier padid | 8172979 | |
subject keywords | automotive engineering | |
subject keywords | program testing | |
subject keywords | software reliability | |
subject keywords | source code (software) | |
subject keywords | UPPAAL model | |
subject keywords | automotive software | |
subject keywords | modern automotive systems | |
subject keywords | software reliability | |
subject keywords | software safety | |
subject keywords | source code testing | |
subject keywords | Automata | |
subject keywords | Automotive engineering | |
subject keywords | Clocks | |
subject keywords | Real-time systems | |
subject keywords | Software | |
subject keywords | Switches | |
subject keywords | Testing | |
subject keywords | UPPAAL | |
subject keywords | automotive software | |
subject keywords | timed automata | |
identifier doi | 10.1109/ICSESS.2014.6933521 | |
journal title | ew Circuits and Systems Conference (NEWCAS), 2014 IEEE 12th International | |
filesize | 276171 | |
citations | 0 |