Title :
High assurance system for tokyo metropolitan area railway network
Author_Institution :
Hitachi Ltd.
Keywords :
Acquired immune deficiency syndrome; Concrete; Control systems; Large-scale systems; Personal communication networks; Protection; Rail transportation; System testing; Urban areas; Workstations;
Conference_Titel :
Dependable Computing, 2000. Proceedings. 2000 Pacific Rim International Symposium on
Print_ISBN :
0-7695-0975-4
DOI :
10.1109/PRDC.2000.897289
