Bitte verwenden Sie diesen Link, um diese Publikation zu zitieren, oder auf sie als Internetquelle zu verweisen: https://hdl.handle.net/11159/6997
Name der Zeitschrift: 
Technology audit and production reserves
e-ISSN: 
2706-5448
Dokumentart: 
Article
Erscheinungsjahr: 
2021
Open Content License: 
cc-by Logo
Persistent Identifier der Erstveröffentlichung: 
Sprache: 
Englisch (eng)
Quellenangabe: 
Zhora, Victor/Synetskyi, Oleksandr (2021). Use of the PVS formal logic system in the method of formal proof of security in the construction of information security systems. In: Technology audit and production reserves 2 (2/58), S. 41 - 45.
http://journals.uran.ua/tarp/article/download/229539/229394.
doi:10.15587/2706-5448.2021.229539.
Erscheint in der Sammlung:

Datei(en):
Datei
Größe
110.17 kB

Publikationen in Digitales Archiv sind urheberrechtlich geschützt – Nutzungsbedingungen.