Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Timed PetriNets"'
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
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.