Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	International Journal on Software Tools for Technology Transfer
Volume	16
Issue number	4
Pages (from-to)	339-361
ISSN	1433-2779
DOIs	https://doi.org/10.1007/s10009-014-0318-1
Publication status	Published - 2014

Access to Document

@article{a7030058945b42c2ac2a5fc01bd62a25,

title = "Formal verification and simulation for platform screen doors and collision avoidance in subway control systems",

author = "Huixing Fang and Jianqi Shi and Huibiao Zhu and Jian Guo and Larsen, {Kim Guldstrand} and Alexandre David",

year = "2014",

doi = "10.1007/s10009-014-0318-1",

language = "English",

volume = "16",

pages = "339--361",

journal = "International Journal on Software Tools for Technology Transfer",

issn = "1433-2779",

publisher = "Physica-Verlag",

number = "4",

}

TY - JOUR

T1 - Formal verification and simulation for platform screen doors and collision avoidance in subway control systems

AU - Fang, Huixing

AU - Shi, Jianqi

AU - Zhu, Huibiao

AU - Guo, Jian

AU - Larsen, Kim Guldstrand

AU - David, Alexandre

PY - 2014

Y1 - 2014

U2 - 10.1007/s10009-014-0318-1

DO - 10.1007/s10009-014-0318-1

M3 - Journal article

SN - 1433-2779

VL - 16

SP - 339

EP - 361

JO - International Journal on Software Tools for Technology Transfer

JF - International Journal on Software Tools for Technology Transfer

IS - 4

ER -