Требуемые страницы
Ниже показаны до 20 результатов, начиная с №21.
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)
- Решение булевых уравнений и проблема выполнимости (1 ссылка)
- О некоторых задачах реконфигурирования программно-конфигурируемых сетей (1 ссылка)
- On the Designing of Model Checkers for Real-Time Distributed Systems (1 ссылка)
- Об одном обобщении подстановки применительно к задаче статического анализа программ (1 ссылка)
- Вычислительная линейная алгебра задач большой размерности (1 ссылка)
- Формализация языка описания моделей распределенных систем программ при помощи временных автоматов (1 ссылка)
- О проблеме эквивалентности операторных программ на упорядоченных полугрупповых моделях (1 ссылка)
- On the verification of asynchronous parameterized networks of communicating processes by model checking (1 ссылка)
- Операторные модели взаимодействующих процессов (1 ссылка)
- Марченко Александр Михайлович (1 ссылка)
- О верификации параметризованных симметричных систем распределенных программ (1 ссылка)
- An invariant-based approach to the verification of asynchronous parameterized networks (1 ссылка)
- О формальной верификации криптографических протоколов с использованием spi-исчисления (1 ссылка)
- VERMONT - a toolset for checking SDN packet forwarding policies on-line (1 ссылка)
- Сложность комбинаторных алгоритмов (1 ссылка)
- О перспективах решения задачи обфускации компьютерных программ (1 ссылка)
- On the Network Update Problem for Software Defined Networks (1 ссылка)
- Об одном обобщении подстановок применительно к задаче синтеза инвариантов программ (1 ссылка)
- Двусторонняя унификация программ и ее применение для задач рефакторинга (1 ссылка)
- Формальная модель и задачи верификации программно-конфигурируемых сетей (1 ссылка)
Просмотреть (предыдущие 20 | следующие 20) (20 | 50 | 100 | 250 | 500)
