|
Книга ID: 155532
Метод обеспечения безопасности программных средств систем интервального регулирования с использованием сетей Петри : диссертация ... кандидата технических наук : 05.22.08
Тематика, ключевые слова:
Эксплуатация железнодорожного транспорта (включая системы сигнализации, централизации и блокировки). сети Петри.
Сведения об издании:
Москва 1996 138 с.
Язык:
rus
|
|