1–8 von 8 Ergebnissen
|

Ihre Suche:
person:("Hwang, J.")

    Safety characteristics analysis of Korean standard communication protocol for railway signalling

    Hwang, J.-G. / Jo, H.-J. | British Library Conference Proceedings | 2007

    Formally verifying the correctness of a network-based protocol for railway signalling systems

    Hwang, J.-G. / Lee, J.-H. | British Library Conference Proceedings | 2005

    Laboratory integration testing of railway signalling systems for high-speed trains

    Hwang, J.-G. / Lee, J.-W. | British Library Conference Proceedings | 2004

    Risk assessment method for guaranteeing safety in the train control system

    Jo, H.-J. / Hwang, J.-G. / Kim, Y.-K. | British Library Conference Proceedings | 2007

    Ethernet-based network with high reliability for railway signaling systems

    Jo, H.-J. / Hwang, J.-G. / Yoon, Y.-K. | British Library Conference Proceedings | 2006

    Model checker for railway signalling communication protocol

    Hwang, J.-G. / Jo, H.-J. / Lee, J. H. | British Library Conference Proceedings | 2006

    Formal verification of protocol specified in LTS for railway signalling systems

    Lee, J.-H. / Hwang, J.-G. / Yoon, Y.-G. et al. | British Library Conference Proceedings | 2004

    Proposal of the standard-based method for communication safety enhancement in railway signalling systems

    Jo, H.-J. / Hwang, J.-G. / Kim, B.-H. et al. | British Library Conference Proceedings | 2010