Εμφανίζονται 1 - 2 Αποτελέσματα από 2 για την αναζήτηση '"time-parameterized multi-parallel programs"', χρόνος αναζήτησης: 0,73δλ Περιορισμός αποτελεσμάτων
  1. 1
    Academic Journal

    Συγγραφείς: Ольга Мороз

    Πηγή: Вісник Харківського національного університету імені В.Н. Каразіна. Серія: Математичне моделювання, інформаційні технології, автоматизовані системи управління, Vol 56, Pp 43-50 (2022)

    Περιγραφή αρχείου: electronic resource

    Σύνδεσμος πρόσβασης: https://doaj.org/article/9dd4de68c12049758598cfa9f526a7de

  2. 2
    Dissertation/ Thesis

    Relation: Мороз, Ольга Юріївна. Інформаційна технологія верифікації паралельних часопараметризованих програм інформаційних управляючих систем : дис. . д-ра філософії : 122 – Комп’ютерні науки (Галузь знань 12 – Технічні науки) / О.Ю. Мороз. – Харків: Харківський національний університет імені В.Н. Каразіна, 2023. – 164 с.; УДК 911.5:502.15:338.49(477.54-25)(043.5); http://dspace.univer.kharkov.ua/handle/123456789/18168