Return to search

Using Safety Analysis Techniques To Derive Safety Properties For Formal Verification Of Safety-Critical Systems

No description available.

1. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-60281

Identifer	oai:union.ndltd.org:UPSALLA1/oai:DiVA.org:mdh-60281
Date	January 2022
Creators	Hassanpour, Ermia
Publisher	Mälardalens universitet, Akademin för innovation, design och teknik, Sweden
Source Sets	DiVA Archive at Upsalla University
Language	English
Detected Language	English
Type	Student thesis, info:eu-repo/semantics/bachelorThesis, text
Format	application/pdf
Rights	info:eu-repo/semantics/openAccess