You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Chapter title |
Specification of Train Control Systems Using Formal Methods
|
---|---|
Chapter number | 21 |
Book title |
Mobile, Ubiquitous, and Intelligent Computing
|
Published by |
Springer, Berlin, Heidelberg, January 2014
|
DOI | 10.1007/978-3-642-40675-1_21 |
Book ISBNs |
978-3-64-240674-4, 978-3-64-240675-1
|
Authors |
Bingqing Xu, Lichen Zhang, Xu, Bingqing, Zhang, Lichen |