Найти:

Нейзов Максим Вячеславович

Автор

SciID

0000015122

SPIN-код

8431-8256

ОНП

ПРОВЕРКА МОДЕЛИ, ПЛК-ПРОГРАММА, ВЕРИФИКАТОР NUXMV, ДЕКЛАРАТИВНАЯ LTL-СПЕЦИФИКАЦИЯ, УПРАВЛЯЮЩЕЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, SMV-СПЕЦИФИКАЦИЯ

Заходил

показать

ОНП

ПРОВЕРКА МОДЕЛИ, ПЛК-ПРОГРАММА, ВЕРИФИКАТОР NUXMV, ДЕКЛАРАТИВНАЯ LTL-СПЕЦИФИКАЦИЯ, УПРАВЛЯЮЩЕЕ ПРОГРАММНОЕ ОБЕСПЕЧЕНИЕ, SMV-СПЕЦИФИКАЦИЯ

библиотека

конференции

контакты

Работы Нейзова М. В.: новые поступления

Применение TLA+/TLC для моделирования и …

LTL-СПЕЦИФИКАЦИЯ ДЛЯ РАЗРАБОТКИ И ВЕРИФИ…

ВЕРИФИКАЦИЯ ДЕКЛАРАТИВНОЙ LTL-СПЕЦИФИКАЦ…

LTL-СПЕЦИФИКАЦИЯ ДЛЯ РАЗРАБОТКИ И ВЕРИФИ…

Библиотека Нейзова М. В.: новые поступления

LTL-СПЕЦИФИКАЦИЯ ДЛЯ РАЗРАБОТКИ И ВЕРИФИ…

ВЕРИФИКАЦИЯ ДЕКЛАРАТИВНОЙ LTL-СПЕЦИФИКАЦ…

LTL-СПЕЦИФИКАЦИЯ ДЛЯ РАЗРАБОТКИ И ВЕРИФИ…

Постов пока нет

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