Opening book details…
About this Engineering article
Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON by Lv, Jidong; Ahmad, Ehsan; Tang, Tao is a Engineering article available to read on EtoBox.
It is typically read by researchers, students, and practitioners in Engineering.
- Author
- Lv, Jidong; Ahmad, Ehsan; Tang, Tao
- Publisher
- Institute of Electrical and Electronics Engineers; Institute of Electrical and Electronics Engineers (IEEE) (ISSN 1939-1390)
- Published
- 2020
- Field
- Engineering (Physical Sciences)