Результаты поиска

Создать страницу «On the concept of software obfuscation in computer security» в этом вики-проекте!

• Участник:ZakharovVA
  2016 [[On the minimization and equivalence checking of sequential reactive systems]] 2010 [[An invariant-based approach to the verification of asynchronous parameterized networks]]
  82 КБ (2198 слова) - 20:23, 10 марта 2022
• Теоретические проблемы программирования
  | "Modelling and Verification of Timed Interaction and Migration" (G. Ciobanu, M. Coutny) | "A hierarchy of temporal logics with past" (F. Laroussinie, Ph. Schnoebelen)
  76 КБ (2657 слова) - 23:01, 13 апреля 2022