hh.se
Publications
Please wait ...
Simple search
Advanced search -
Research publications
Advanced search -
Student theses
Statistics
English
Svenska
Norsk
Jump to content
Change search
Search
Search
Only documents with full text in DiVA
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-38947
Direct link
http://hh.diva-portal.org/smash/record.jsf?pid=diva2:1289900
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
Safety Verification in Vehicle Test Applications: Using Reachability Analysis With the Focus on Reachability Tools
Jouda, Fatma
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
Mehdi, Sagar
Halmstad University, School of Information Technology, Halmstad Embedded and Intelligent Systems Research (EIS).
2018 (English)
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE credits
Student thesis
Place, publisher, year, edition, pages
2018. , p. 82
National Category
Electrical Engineering, Electronic Engineering, Information Engineering Robotics Embedded Systems
Identifiers
URN:
urn:nbn:se:hh:diva-38947
OAI: oai:DiVA.org:hh-38947
DiVA, id:
diva2:1289900
Subject / course
Computer science and engineering
Educational program
Master's Programme in Embedded and Intelligent Systems, 120 credits
Supervisors
Taha, Walid
Halmstad University, School of Information Technology.
Examiners
Vinel, Alexey
Halmstad University, School of Information Technology.
Nordström, Tomas
Halmstad University, School of Information Technology.
Available from:
2019-07-09
Created:
2019-02-19
Last updated:
2019-07-09
Bibliographically approved
Open Access in DiVA
fulltext
(1906 kB)
249 downloads
File information
File name
FULLTEXT02.pdf
File size
1906 kB
Checksum
SHA-512
29cb07eeb6de9b6e9efc6f90e1339ba51be38bb081887aca0789455a319733482eed4ba134d17dbe6066dec34f90d4516653970d9b3671fbabbfc6ac3a3c9806
Type
fulltext
Mimetype
application/pdf
By organisation
Halmstad Embedded and Intelligent Systems Research (EIS)
On the subject
Electrical Engineering, Electronic Engineering, Information Engineering
Robotics
Embedded Systems
Search outside of DiVA
Google
Google Scholar
Total: 249 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available
urn-nbn
Altmetric score
urn-nbn
Total: 213 hits
Cite
Export
BibTex
CSL-JSON
CSV 1
CSV 2
CSV 3
CSV 4
CSV 5
CSV all metadata
CSV all metadata version 2
RIS
Mods
MARC-XML
ETDMS
Link to record
Permanent link
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-38947
Direct link
http://hh.diva-portal.org/smash/record.jsf?pid=diva2:1289900
Cite
Citation style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
apa
ieee
modern-language-association-8th-edition
vancouver
Other style
More styles
Language
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
de-DE
en-GB
en-US
fi-FI
nn-NO
nn-NB
sv-SE
Other locale
More languages
Output format
html
text
asciidoc
rtf
html
text
asciidoc
rtf
Create
Close
v. 2.44.0
|
WCAG
|
Halmstad University Library
|
Info for students
|
Info for researchers
|
Log in
DiVA
Logotyp