The Verification of Temporary Speed Restriction of Train Control System Based on Timed Automata

doi 10.2991/iccnce.2013.89
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Atlantis Press


Related search