11–15 of 15 hits
|

    A model-based framework for the safety analysis of computer-based railway signalling systems

    Niu, R. / Tang, T. | British Library Conference Proceedings | 2010

    A cooperative strategy framework of train rescheduling for portal junctions leading into bottleneck sections

    Chen, L. / Schmid, F. / Ning, B. et al. | British Library Conference Proceedings | 2010

    Modelling and design of the formal approach for generating test sequences of ETCS level 2 based on the CPN

    Zhao, X. / Zhang, Y. / Zheng, W. et al. | British Library Conference Proceedings | 2010

    Modeling of an interoperability test bench for the on-board system of a train control system based on Colored Petri Nets

    Yuan, L. / Tang, T. / Li, K. et al. | British Library Conference Proceedings | 2010

    Design, development, application, safety assessment and simulation of the railway signaling system

    Ning, B. / Tang, T. / Gao, C. et al. | British Library Conference Proceedings | 2010