Hasil Pencarian - K. Petrenko

  • Menampilkan 1 - 15 hasil dari 15
Perbaiki Hasil
  1. 1
    Linux Driver Verification

    Linux Driver Verification oleh D. Beyer, A. K. Petrenko

    Diterbitkan 2018-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  2. 2
    Prospects for the use of wind energy resources at the Akademik Vernadsky station

    Prospects for the use of wind energy resources at the Akademik Vernadsky station oleh K. Petrenko, І. Ivanchenko, O. Karmazin

    Diterbitkan 2021-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  3. 3
    Software Product Lines Modeling

    Software Product Lines Modeling oleh K. M. Lavrischeva, A. K. Petrenko

    Diterbitkan 2018-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  4. 4
    Informatics: Formation of computer software and technologies of software systems

    Informatics: Formation of computer software and technologies of software systems oleh E. M. Lavrishcheva, A. K. Petrenko

    Diterbitkan 2018-12-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  5. 5
    Application of machine learning and computer vision methods to determine the size of NPP equipment elements in difficult measurement conditions

    Application of machine learning and computer vision methods to determine the size of NPP equipment elements in difficult measurement conditions oleh D. Belytskyi, R. Yermolenko, K. Petrenko, O. Gogota

    Diterbitkan 2023-11-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  6. 6
    Component-based verification of operating systems

    Component-based verification of operating systems oleh V. V. Kuliamin, A. K. Petrenko, A. V. Khoroshilov

    Diterbitkan 2019-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  7. 7
    Integration Points of Operating System Verification Techniques

    Integration Points of Operating System Verification Techniques oleh A. K. Petrenko, V. V. Kuliamin, A. V. Khoroshilov

    Diterbitkan 2018-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  8. 8
    On representation of simulation time in functional programming style

    On representation of simulation time in functional programming style oleh D. V. Buzdalov, A. K. Petrenko, A. V. Khoroshilov

    Diterbitkan 2019-02-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  9. 9
    THEORY AND PRACTICE OF ASSESSING THE LEVEL OF INSTABILITY OF THE EXTERNAL ENVIRONMENT OF THE ENTERPRISE IN A HYBRID WAR

    THEORY AND PRACTICE OF ASSESSING THE LEVEL OF INSTABILITY OF THE EXTERNAL ENVIRONMENT OF THE ENTERPRISE IN A HYBRID WAR oleh I. Zapukhliak, A. Shegda, О. Mykytiuk, T. Onysenko, K. Petrenko

    Diterbitkan 2022-03-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  10. 10
    Verification and analysis of variable operating systems

    Verification and analysis of variable operating systems oleh V. V. Kuliamin, E. M. Lavrischeva, V. S. Mutilin, A. K. Petrenko

    Diterbitkan 2018-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  11. 11
    How the story of UniTESK technology applications mirrors development of model based testing

    How the story of UniTESK technology applications mirrors development of model based testing oleh V. P. Ivannikov, A. K. Petrenko, V. V. Kuliamin, A. V. Maksimov

    Diterbitkan 2018-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  12. 12
    THE LEVEL OF MENTAL STRESS, AND SELF - ESTEEM OFCHILDREN’S HEALTH WITH CHRONIC KIDNEY DISEASE

    THE LEVEL OF MENTAL STRESS, AND SELF - ESTEEM OFCHILDREN’S HEALTH WITH CHRONIC KIDNEY DISEASE oleh I.S. Dryl, A.F. Shipko, T.F. Kolfbaeva, L.K. Petrenko, I.V. Zabashta

    Diterbitkan 2015-08-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  13. 13
    Configurable Toolset for Static Verification of Operating Systems Kernel Modules

    Configurable Toolset for Static Verification of Operating Systems Kernel Modules oleh I. S. Zakharov, M. U. Mandrykin, V. S. Mutilin, E. M. Novikov, A. K. Petrenko, A. V. Khoroshilov

    Diterbitkan 2018-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  14. 14
    Testing of Operating Systems

    Testing of Operating Systems oleh E. A. Gerlits, V. V. Kuliamin, A. V. Maksimov, A. K. Petrenko, A. V. Khoroshilov, A. V. Tsyvarev

    Diterbitkan 2018-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:
  15. 15
    Tools for System Design of Integrated Modular Avionics

    Tools for System Design of Integrated Modular Avionics oleh D. V. Buzdalov, S. V. Zelenov, E. V. Kornykhin, A. K. Petrenko, A. V. Strakh, A. A. Ugnenko, A. V. Khoroshilov

    Diterbitkan 2018-10-01
    Dapatkan teks lengkap
    Artikel
    Simpan ke Daftar
    Disimpan di:

Alat Pencarian: