Now showing items 1-10 of 4

    программное обеспечение (4)
    програмне забезпечення (4)
    радиоэлектронные и компьютерные системы (4)
    радіоелектронні і комп'ютерні системи (4)
    статический анализ (2)
    статичний аналіз (2)
    model-checking верификация (1)
    model-checking верифікація (1)
    безопасность (1)
    безпека (1)