Synonyme wurden verwendet für: Safety Transportation
Suche ohne Synonyme: keywords:(Transportation Safety)

1–13 von 13 Ergebnissen
|

    Software Specification and Development in the Domain of Railway Signalling

    Shagi, B. / Tarnai, G. / Zentrum fur Verkehr der Technischen Universitat Braunschweig et al. | British Library Conference Proceedings | 2003
    Schlagwörter: safety relevant , transportation control tasks

    Functional Modelling and Simulation of Train Control Systems with Petrinets

    Horste, M. M. z. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003
    Schlagwörter: safety relevant , transportation control tasks

    Simulation of a Complex Railway Station with a Petri Nets Based Interlocking Model

    Malavasi, G. / Raponi, P. / Ricci, S. et al. | British Library Conference Proceedings | 2003
    Schlagwörter: safety relevant , transportation control tasks

    Stochastic Validation and Verification of Railroad Safety-Critical Software

    Giras, T. C. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003
    Schlagwörter: safety relevant , transportation control tasks

    Formal Safety Analysis in Transportation Control

    Ortmeier, F. / Thums, A. / Zentrum fur Verkehr der Technischen Universitat Braunschweig et al. | British Library Conference Proceedings | 2003
    Schlagwörter: safety relevant , transportation control tasks

    Qualitative and quantitative description of reliability characteristics in availability/safety diagrams

    Schnieder, E. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003
    Schlagwörter: safety relevant , transportation control tasks

    Integration of Message Sequence Charts and Petri Nets in the System Design Process

    Kluge, O. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003
    Schlagwörter: safety relevant , transportation control tasks

    Process Model for the Development of a System Requirements Specification for Railway Systems

    Bitsch, F. / Zentrum fur Verkehr der Technischen Universitat Braunschweig / Verein Deutscher Ingenieure | British Library Conference Proceedings | 2003
    Schlagwörter: safety relevant , transportation control tasks

    UML-based Specification of a Railway Interlocking and Signalling System

    Janota, A. / Rastocny, K. / Zahradnik, J. et al. | British Library Conference Proceedings | 2003
    Schlagwörter: safety relevant , transportation control tasks

    Validation and Verification of a Radio-based Signaling System Using Scenarios

    Klose, J. / Westphal, B. / Zentrum fur Verkehr der Technischen Universitat Braunschweig et al. | British Library Conference Proceedings | 2003
    Schlagwörter: safety relevant , transportation control tasks

    A Railway Demonstrator for experimental Validation of formal Specifications

    Hansel, F. / Konig, S. / Slovak, R. et al. | British Library Conference Proceedings | 2003
    Schlagwörter: safety relevant , transportation control tasks

    TIME-GAPS WHILE DRIVING

    Chapman, P. / Ismail, R. / Avellano, T. et al. | British Library Conference Proceedings | 1999
    Schlagwörter: road safety , transport research

    Designing small cars for safety

    Neilson, I. / Parliamentary Advisory Council for Transport Safety | British Library Conference Proceedings | 1993
    Schlagwörter: safety , transport safety