Bibliographic Details
| Title: |
Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем |
| Authors: |
Мороз, Ольга Юріївна, Moroz, O.Yu. |
| Publisher Information: |
Харківський національний університет імені В.Н. Каразіна |
| Publication Year: |
2023 |
| Collection: |
Kharkiv National University: Electronic Archive (eKhNUIR) |
| Subject Terms: |
Research Subject Categories::TECHNOLOGY::Information technology, технологія верифікації, паралельні обчислювальні системи, часопараметризовані мільтипаралельні програми, верифікація паралельних програм інформаційних управляючих систем, компіляційна верифікація, декомпіляційна верифікація, семантична верифікація, методи структур семантико-числових специфікацій, методи формального синтезу, часопараметризована модель алгоритму Гауса, verification technology, parallel computing systems, time-parameterized multi-parallel programs, verification of parallel programs of information management systems, compilation verification, decompilation verification, semantic verification, methods of structures of semantic-numerical specifications, methods of formal synthesis, time-parameterized model of the Gaussian algorithm |
| Description: |
Дисертація присвячена верифікації паралельних програм для інформаційних управляючих систем, що є складною та важливою задачею з багатьма проблемами та викликами. ; The dissertation is devoted to the development and verification of parallel programs for information management systems, which is a complex and important task with many problems and challenges. |
| Document Type: |
thesis |
| Language: |
Ukrainian |
| Relation: |
Мороз, Ольга Юріївна. Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем : дис. . д-ра філософії : 122 – Комп’ютерні науки (Галузь знань 12 – Технічні науки) / О.Ю. Мороз. – Харків: Харківський національний університет імені В.Н. Каразіна, 2023. – 164 с.; УДК 911.5:502.15:338.49(477.54-25)(043.5); http://dspace.univer.kharkov.ua/handle/123456789/18168 |
| Availability: |
http://dspace.univer.kharkov.ua/handle/123456789/18168 |
| Accession Number: |
edsbas.D6549A06 |
| Database: |
BASE |