Verification of automated vehicle protection systems

• 1 January 1996
• book chapter
• Published by Springer Nature
• p. 101-113
• https://doi.org/10.1007/bfb0020938

Abstract

Keywords

• PROTECTION SYSTEM
• TRANSIT SYSTEM
• DISCRETE ACTION
• PEOPLE MOVER
• EXECUTION FRAGMENT