Loading…
A formalization-based vulnerability detection method for cross-subject network components
Chen, Jinfu, Xie, Haodi, Cai, Saihua, Geng, Ye, Yin, Yemin, Zhang, Zikang
Published in IEEE ... International Conference on Trust, Security and Privacy in Computing and Communications (Online) (01.12.2022)
Published in IEEE ... International Conference on Trust, Security and Privacy in Computing and Communications (Online) (01.12.2022)
Get full text
Conference Proceeding
Loading…
Formalization of Software Risk Assessment Results in Legal Metrology Based on ISO/IEC 18045 Vulnerability Analysis
Esche, Marko, Salwiczek, Felix, Toro, Federico Grasso
Published in Annals of Computer Science and Information Systems (01.09.2019)
Published in Annals of Computer Science and Information Systems (01.09.2019)
Get full text
Conference Proceeding
Journal Article
Loading…
Generalization and formalization of the US EPA procedure for design of treated wastewater aquifer recharge basins: II. Retrofit of Souhil Wadi (Nabeul, Tunisia) pilot plant
Kallali, Hamadi, Yoshida, Mitsuo, Tarhouni, Jamila, Jedidi, Naceur
Published in Water science and technology (01.01.2013)
Published in Water science and technology (01.01.2013)
Get full text
Journal Article
Loading…
Loading…
FORMALIZATION OF ROLLING STOCK DISTRIBUTION PROCESSES BY USING DYNAMIC MODEL
D. V. Lomotko, D. V. Arsenenko, N. A. Nosko, O. V. Kovalova
Published in Nauka ta progres transportu (2018)
Published in Nauka ta progres transportu (2018)
Get full text
Journal Article
Loading…
Loading…
The Problem of Matter of Education in the Digital Age
Sokhranyaeva, Tatiana V., Zamotkin, Ivan D.
Published in Vestnik Rossiĭskogo universiteta druzhby narodov. Serii͡a︡ Filosofii͡a (15.12.2021)
Published in Vestnik Rossiĭskogo universiteta druzhby narodov. Serii͡a︡ Filosofii͡a (15.12.2021)
Get full text
Journal Article
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Loading…
Basic concepts and physical-chemical phenomena, that have conceptual meaning for the formation of systemic clinical thinking and formalization of the knowledge of systemic structural-functional organization of the human’s organism
Poberezhnyi, Viktor, Marchuk, Oleksandr, Katilov, Oleksandr, Shvydiuk, Oleh, Lohvinov, Oleksii
Published in Medicina bolû (30.06.2020)
Published in Medicina bolû (30.06.2020)
Get full text
Journal Article
Loading…
Loading…
FORMALIZATION OF THE CONCEPT OF SOCIAL SPACE OF THE SUBJECT THROUGH THE CONCEPT OF SOCIAL NETWORKS
DANICH, V.M., SHEVCHENKO, S.M.
Published in REVIEW OF TRANSPORT ECONOMICS AND MANAGEMENT (30.11.2020)
Published in REVIEW OF TRANSPORT ECONOMICS AND MANAGEMENT (30.11.2020)
Get full text
Journal Article
Loading…
KNOWLEDGE FORMALIZATION METHOD ABOUT THE SITUATION ANALYSIS OF THE SURVEY FOR THE SUPPORTING DECISION SYSTEM OF THE AUTOMATED AIR TRAFFIC CONTROL SYSTEM
Serhii G. Shilo, Oleg M. Dmitriev, Irina V. Novikova
Published in Sučasnì ìnformacìjnì tehnologìï u sferì bezpeki ta oboroni (01.12.2018)
Published in Sučasnì ìnformacìjnì tehnologìï u sferì bezpeki ta oboroni (01.12.2018)
Get full text
Journal Article
Loading…