Shkarupylo, Vadym, National University of Life and Environmental Sciences of Ukraine, Faculty of Information Technologies, Ukraine
-
GLOBAL AND REGIONAL PROBLEMS OF INFORMATIZATION IN SOCIETY AND NATURE USING 2020 - COMPUTER SYSTEMS AND NETWORKS,CYBERSECURITY
TLC model checking method investigation
Abstract