B in large-scale projects: The canarsie line CBTC experience

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4355 LNCS, Issue , 2006, Pages 252-254

  Essamé, Didier ^a   Dollé, Daniel ^a  

^a SIEMENS AG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ACCIDENT PREVENTION; AUTOMATIC TRAIN CONTROL; CONTROL SYSTEMS; FORMAL SPECIFICATION;

COMMUNICATION-BASED TRAIN CONTROL SYSTEMS; CONVENTIONAL METHODS; DEVELOPMENT PROCESS; INDUSTRIAL CONTEXT; INDUSTRIAL PROJECTS; LARGE-SCALE PROJECTS; SIEMENS TRANSPORTATION SYSTEMS; TECHNOLOGICAL CHALLENGES;

RAILROAD TRAFFIC CONTROL;

EID: 77949263903     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11955757_21     Document Type: Conference Paper

References (0)