https://www.mdu.se/
mdu.se
Publications
Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
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:mdh:diva-60281
Direct link
http://mdh.diva-portal.org/smash/record.jsf?pid=diva2:1704627
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
Using Safety Analysis Techniques To Derive Safety Properties For Formal Verification Of Safety-Critical Systems
Hassanpour, Ermia
Mälardalen University, School of Innovation, Design and Engineering. Sweden.
2022 (English)
Independent thesis Advanced level (degree of Master (Two Years)), 20 credits / 30 HE credits
Student thesis
Place, publisher, year, edition, pages
2022.
National Category
Computer Systems
Identifiers
URN:
urn:nbn:se:mdh:diva-60281
OAI: oai:DiVA.org:mdh-60281
DiVA, id:
diva2:1704627
Supervisors
Abbaspour Asadollah, Sara
Mälardalen University, School of Innovation, Design and Engineering.
Gallina, Barbara
Mälardalen University, School of Innovation, Design and Engineering.
Sirjani, Marjan
Mälardalen University, School of Innovation, Design and Engineering.
Examiners
Cicchetti, Antonio
Mälardalen University, School of Innovation, Design and Engineering.
Available from:
2022-10-20
Created:
2022-10-19
Last updated:
2022-10-20
Bibliographically approved
Open Access in DiVA
fulltext
(4197 kB)
263 downloads
File information
File name
FULLTEXT01.pdf
File size
4197 kB
Checksum
SHA-512
36e63c5df254a5fa5279161826543b717be10da9d8cb2ab7a0f43c592bf02bf170fb87f5011fcfaefa92cf115141452bb8328a78de607fbf180cd76ca62c5576
Type
fulltext
Mimetype
application/pdf
By organisation
School of Innovation, Design and Engineering
On the subject
Computer Systems
Search outside of DiVA
Google
Google Scholar
Total: 273 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: 439 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:mdh:diva-60281
Direct link
http://mdh.diva-portal.org/smash/record.jsf?pid=diva2:1704627
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
|
Mälardalen University Library
|
DiVA Log in
DiVA
Logotyp