Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Lecart, Manon"'
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
