Результати пошуку - V. Peschanenko

  • Показ 1 - 3 результатів із 3
Уточнити результати
  1. 1
    Зображення обкладинки

    Use of metods of algebraic programming for the formal verification of legal acts за авторством V. Peschanenko, M. Poltorackiy

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    Satisfiability For Symbolic Verification in VRS за авторством A. Letichevsky, A. Letichevskiy, T. Weigert, V. Peschanenko

    Опубліковано 2013
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    Deductive verification of requirements for event-driven architecture за авторством A. Letichevsky, O. Letychevskyi, V. Peschanenko, A. Guba

    Опубліковано 2013
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: