Рекомендовані теми у межах Вашого пошуку.
Показ 1 - 1 результатів із 1 для пошуку '', час виконання запиту: 0.02сек. Уточнити результати
  1. 1
    Survey on modern tools and methods of formal models verification
    за авторством Kolchin, A.V., Letichevsky, A.A., Potiyenko, S.V., Peschanenko, V.S.
    Опубліковано 2015
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук