SciNetwork
  • Библиотека 728
  • Журналы 20
  • Организации 22
    • Научно-исследовательские
    • Образовательные
    • Издательства
    • Библиотеки
    • Репозитории
  • Конференции
  • Блоги 7
  • Сообщество
    • Поиск людей
    • Группы
    • Форум
Вход
Написать
Добавить в контакты

Кузьмин Егор Владимирович

Автор
SciID
0000015092
SPIN-код
7451-5106
ОНП
ПЛК-ПРОГРАММА, ВЕРИФИКАТОР NUXMV, ПРОВЕРКА МОДЕЛИ, ДЕКЛАРАТИВНАЯ LTL-СПЕЦИФИКАЦИЯ, УПРАВЛЯЮЩЕЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, SMV-СПЕЦИФИКАЦИЯ
Заходил
показать
ОНП
ПЛК-ПРОГРАММА, ВЕРИФИКАТОР NUXMV, ПРОВЕРКА МОДЕЛИ, ДЕКЛАРАТИВНАЯ LTL-СПЕЦИФИКАЦИЯ, УПРАВЛЯЮЩЕЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, SMV-СПЕЦИФИКАЦИЯ
5
статей
0
препринтов
0
диссертаций
0
книг
0
заметок
0
патентов
Постов пока нет

Скоро владелец страницы опубликует здесь свои посты.

Доступ к этим данным разрешён только авторизованным пользователям.
  • О научной сети
  • Пользовательское соглашение
  • Защита авторских прав
  • Cookies
  • Обратная связь
  • Privacy Policy
Права на оригинальные тексты, а также на подбор и расположение материалов принадлежат проекту SciNetwork, © 2016 — 2025
SciNetwork, © 2025
Функция добавления в закладки доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.
Функция отправки личных сообщений доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.
Функция оценок доступна только для авторизованных пользователей. Зарегистрируйтесь или войдите в свой аккаунт.
Функция добавления в контакты доступна только авторизованным пользователям. Зарегистрируйтесь или войдите в свой аккаунт.