Грушка, Валерий Анатольевич - Метод обеспечения безопасности программных средств систем интервального регулирования с использованием сетей Петри : диссертация ... кандидата технических наук : 05.22.08

Карточка

Грушка, Валерий Анатольевич.

Метод обеспечения безопасности программных средств систем интервального регулирования с использованием сетей Петри : диссертация ... кандидата технических наук : 05.22.08. - Москва, 1996. - 138 с.
Эксплуатация железнодорожного транспорта (включая системы сигнализации, централизации и блокировки)
сети Петри
OD 61 96-5/780-4

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеМетод обеспечения безопасности программных средств систем интервального регулирования с использованием сетей Петри : диссертация ... кандидата технических наук : 05.22.08
Дата поступления в ЭК 03.04.1997
Каталоги Диссертации
Выходные данныеМосква, 1996
Физическое описание138 с.
ТемаЭксплуатация железнодорожного транспорта (включая системы сигнализации, централизации и блокировки)
сети Петри
Специальность05.22.08: Управление процессами перевозок
ЯзыкРусский
Места храненияOD 61 96-5/780-4