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

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

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

Marc21

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

Показать

Описание

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