Результати пошуку - A. Letichevsky

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

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

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

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

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

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

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

    The Non-Deterministic Strategy of Rewriting за авторством A. A. Letichevsky, O. A. Letichevskyi, V. S. Peschanenko

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

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

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