Языки
English
Русский
Navigation
Главная
О журнале
Публикационная этика
Статьи
Требования к статьям
Авторы
Архив журнала
Контакты
Лукьянова Е. А.
Журнал:
ТВИМ 2012 №2
О способах построения и использовании компонентной сети Петри с ингибиторными дугами для анализа её исходной детальной модели Петри
Журнал:
ТВИМ 2011 №2
О компонентном анализе параллельных распраделенных систем.
Журнал:
ТВИМ 2011 №1
Метод моделирования реактивных систем с параллельными и последовательными процессами
Журнал:
ТВИМ 2006 №2
Метод верификации свойств реактивной системы на модели