Результаты поиска
Создать страницу «An approach to the obfuscation of control-flow of sequential computer programs» в этом вики-проекте!
- 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
- …esigning and biochemistry which are in line with the modern development of computer science and applied mathematics. == Lecture 1. '''Theory and practice of software obfuscation.''' ==8 КБ (944 слов) - 16:58, 21 февраля 2019
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)