Welcome
Publisher:
Year
: 2014DOI: 10.1109/ICSESS.2014.6933521
Keyword(s): 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
Collections
:
-
Statistics
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 | https://libsearch.um.ac.ir:443/fum/handle/fum/1044626?locale-attribute=en | |
| 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 |