Рекомендовані теми у межах Вашого пошуку.
Показ 1 - 2 результатів із 2 для пошуку '"UDC 004.415.5"', час виконання запиту: 0.02сек. Уточнити результати
  1. 1
    Traversal of arbitrary sequences of UCM symbolic transitions for test generation
    за авторством Guba, A.A.
    Опубліковано 2025
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  2. 2
    Static method of consistency and completeness checking in formal model of distributed software systems
    за авторством Kolchin, A.V., Letichevsky, O.O., Potiyenko, S.V.
    Опубліковано 2025
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук