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

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

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



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






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


2008, том 15, номер 3  


Применение ослабленных отношений симуляции в методе сетевых инвариантов для верификации параметризованных асинхронных моделей
И. В. Коннов
3
Проблема ограниченности для счетчиковых машин с потерями
Е. В. Кузьмин
14
Неравенства для норм интерполяционных проекторов
М. В. Невский
28
Об одном классе высокоуровневых конечных автоматов
Р. А. Виноградов, В. А. Соколов
38
Разработка корректных Java Card-программ на основе автоматного подхода
А. А. Клебанов, А. А. Шалыто
47
Моделирование и анализ информационных систем
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019