Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Statistisk Modellkontroll"'
Autor:
Lecart, Manon
With the prevalence of technology and computer systems in today’s society, it is crucial to ensure that the systems we use are secure. The fields that study these issues, cybersecurity and cybersafety, use the formal verification technique of model
Externí odkaz:
http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-343212
Autor:
Mahmud, Nesredin
Safety-critical systems need to be analyzed rigorously to remove software/specifications errors, that is, their requirements specifications should be unambiguous, comprehensible and consistent, and the software design should conform to the specificat
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d9e6e168ee6e5c72455410a94d6b5d1f
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-43371
http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-43371