|
Volumn , Issue , 2011, Pages 1089-1093
|
Modeling of CBTC carborne ATO functions using SCADE
|
Author keywords
ATO; CBTC; SCADE
|
Indexed keywords
A-TRAIN;
ATO;
AUTOMATIC TRAIN OPERATIONS;
AUTOMATIC TRAIN PROTECTIONS;
CBTC;
CODE GENERATORS;
DEVELOPMENT TOOLS;
DRIVERLESS OPERATIONS;
SAFETY CRITICAL APPLICATIONS;
SAFETY CRITICAL SYSTEMS;
SCADE;
SCADE SIMULATORS;
TEST-LINES;
TRAIN CONTROL;
CODES (SYMBOLS);
ELECTRIC EQUIPMENT PROTECTION;
SAFETY ENGINEERING;
SOFTWARE TESTING;
|
EID: 84863045866
PISSN: 15987833
EISSN: None
Source Type: Conference Proceeding
DOI: None Document Type: Conference Paper |
Times cited : (14)
|
References (4)
|