Требуемые страницы
Ниже показаны до 20 результатов, начиная с №121.
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)
- Методика использования системы имитационного моделирования РВС РВ, базирующейся на стандарте HLA (1 ссылка)
- О противодействии некоторым алгоритмам статического анализа программ (1 ссылка)
- Об одной модели последовательных программ с динамической памятью (1 ссылка)
- Аппроксимация абстрактных семантик формальными моделями программ (1 ссылка)
- Темпоральная логика для верификации автоматов-преобразователей (1 ссылка)
- О двухленточных машинах, описывающих полугруппы с сокращением (1 ссылка)
- DYANA: an integrated development environment for simulation and verification of real-time avionics systems (1 ссылка)
- On the equivalence checking problem for a model of programs related with muti-tape automata (1 ссылка)
- Об отношении аппроксимируемости семантик операторных программ (1 ссылка)
- К вопросу о существовании доказуемо стойких систем облачных вычислений (1 ссылка)
- Эффективные алгоритмы проверки эквивалентности программ в моделях, связанных с обработкой прерываний (1 ссылка)
- О проблеме логико-термальной эквивалентности недетерминированных стандартных схем программ (1 ссылка)
- To the obfuscation of sequential program control-flow (1 ссылка)
- Полиномиальный по сложности алгоритм, распознающий коммутативную эквивалентность схем программ (1 ссылка)
- Методика использования системы имитационного моделирования РВС РВ ДИАНА, основанной на стандарте HLA (1 ссылка)
- A Formal Model and Verification Problems for Software Defined Networks (1 ссылка)
- О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программ (1 ссылка)
- Об одной полисемантической модели последовательных программ (1 ссылка)
- Теоретико-автоматный подход к определению формальных семантик языков программирования (1 ссылка)
- О дедуктивной безопасности запросов к базам конфиденциальных данных в системе облачных вычислений (1 ссылка)
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)