RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


2015, том 22, номер 6  


End-to-end information flow security model for software-defined networks
D. Ju. Chaly, E. S. Nikitin, E. Ju. Antoshina, V. A. Sokolov
735
Model oriented approach for industrial software development
P. D. Drobintsev, V. P. Kotlyarov, N. V. Voinov, I. V. Nikiforov
750
Fast and safe concrete code execution for reinforcing static analysis and verification
M. Belyaev, V. Itsykson
763
Loop invariants elimination for definite iterations over unchangeable data structures in C programs
I. V. Maryasov, V. A. Nepomniaschy
773
Teaching formal models of concurrency specification and analysis
N. V. Shilov
783
Formal diagonalisation of Lax–Darboux schemes
A. V. Mikhailov
795
System runs analysis with process mining
S. A. Shershakov, V. A. Rubin
818
Лингвостатистический анализ терминологии для построения тезауруса предметной области
М. С. Каряева
834
Разработка активного внешнего модуля сетевой топологии для контроллера программно-конфигурируемой сети Floodlight
А. А. Носков, М. А. Никитинский, И. В. Алексеев
852
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019