21–30 von 1,013 Ergebnissen
|

    Validation and verification of METEOR safety software

    Boulanger, J. L. / Gallardo, M. / Wessex Institute of Technology | British Library Conference Proceedings | 2000

    Using UML diagrams for system safety and security environment analysis

    Rachel, F. M. / Cugnasca, P. S. | British Library Conference Proceedings | 2006

    Using synchronous language for signalling

    Legoff, G. / Sainton, P. / Wessex Institute of Technology | British Library Conference Proceedings | 1996

    Using formal methods for quality assurance of interlocking systems

    Eriksson, L.-H. / Johansson, K. / Wessex Institute of Technology | British Library Conference Proceedings | 1998

    Using a rail simulation library to assess impacts of transit network planning on operational quality

    Kanacilo, E.M. / van Oort, N. | British Library Conference Proceedings | 2008

    Use of Operations Research to facilitate and improve railway planning

    Lentink, R. M. / Odijk, M. A. / Freling, R. et al. | British Library Conference Proceedings | 2000

    Use of model transformation for the formal analysis of railway interlocking models

    Xu, T. / Santos, O.M. / Ge, X. et al. | British Library Conference Proceedings | 2010

    Use of frequency-dependent track models in traction system simulation

    Fracchia, M. / Hill, R. J. / Pozzobon, P. et al. | British Library Conference Proceedings | 1994

    Use of computers in planning and execution of infrastructure investment

    Reynolds, M. G. / Wessex Institute of Technology | British Library Conference Proceedings | 1998

    Use of computer databases to manipulate safety information

    Watson, K. J. / Wessex Institute of Technology | British Library Conference Proceedings | 1998