Amanote Research
Register
Sign In
Modelling and Design of the Formal Approach for Generating Test Sequences of ETCS Level 2 Based on the CPN
doi 10.2495/cr100661
Full Text
Open PDF
Abstract
Available in
full text
Date
August 4, 2010
Authors
X. Zhao
Y. Zhang
W. Zheng
T. Tang
R. Mu
Publisher
WIT Press