https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation 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
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Using Safety Analysis Techniques To Derive Safety Properties For Formal Verification Of Safety-Critical Systems
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 creditsStudent thesis
Place, publisher, year, edition, pages
2022.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-60281OAI: oai:DiVA.org:mdh-60281DiVA, id: diva2:1704627
Supervisors
Examiners
Available from: 2022-10-20 Created: 2022-10-19 Last updated: 2022-10-20Bibliographically approved

Open Access in DiVA

fulltext(4197 kB)133 downloads
File information
File name FULLTEXT01.pdfFile size 4197 kBChecksum SHA-512
36e63c5df254a5fa5279161826543b717be10da9d8cb2ab7a0f43c592bf02bf170fb87f5011fcfaefa92cf115141452bb8328a78de607fbf180cd76ca62c5576
Type fulltextMimetype application/pdf

By organisation
School of Innovation, Design and Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar
Total: 143 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: 255 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation 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
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf