Browsen in Digitales Archiv gesamt nach Personen Synetskyi, Oleksandr
Zeige Ergebnisse 1 bis 1 von 1
Jahr | Titel | Personen |
---|---|---|
2021 | Use of the PVS formal logic system in the method of formal proof of security in the construction of information security systems | Zhora, Victor; Synetskyi, Oleksandr |