1–6 von 6 Ergebnissen
|

    Tracks and wings - dialogue for safety

    Meyer, D. / Saghi, B. / Tarnai, G. | Tema Archiv | 2007

    Zusätzliche Aspekte zur Anwendung von formalen Techniken

    Tarnai, G. / Saghi, B. | Tema Archiv | 2001

    Automatic Fault-Tree Generation as a Support for Safety Studies of Railway Interlocking Systems

    Szabo, G. / Tarnai, G. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    Method for the Development of a Special Railway Interlocking Subsystem

    Tarnai, G. / Saghi, B. / International Federation of Automatic Control | British Library Conference Proceedings | 2001

    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