1–20 von 28 Ergebnissen
|

    Effectively communicate and negotiate your requirements

    Monteiro, Manuel Reis | Tema Archiv | 2008

    Formal methods in the evaluation of a safe driver machine interface

    Majzik, Istvan / Bondavalli, Andrea / Klapka, Stepan et al. | Tema Archiv | 2008

    Functional chain analysis for monitoring train fault states

    Maly, Thomas / Antova, Maria / Schöbel, Andreas | Tema Archiv | 2008

    Efficient formal verification of track vacancy detection sections

    Kinder, Sebastian / Drechsler, Rolf | Tema Archiv | 2008

    Modelling of the ERTMS specifications for checkings and certification objectives

    Jabri, S. / Koursi, E.M. El / Lemaire, E. et al. | Tema Archiv | 2008

    An approach for formal modelling of concepts of transportation and metrology standards

    Hänsel, Frank / Zhou, Yong / Poliak, Jan et al. | Tema Archiv | 2008

    Safe(r) development of transport systems - A comparison of safety standards

    Beisel, Daniel / Ständer, Tobias / Becker, Uwe et al. | Tema Archiv | 2008

    Stochastic petri nets for risk assessment

    Rafrafi, M. / Bourdeaudhuy, T. / El-Koursi, E.M. | Tema Archiv | 2008

    Test sequence formalisation for constituent conformity, assembly integration and operational serviceability testing

    Meyer zu Hörste, Michael / Gantz, Oliver / Ebrecht, Lars | Tema Archiv | 2008

    Temporal requirements checking in a safety analysis of railway systems

    Defossez, F. / Collart-Dutilleul, S. / Bon, P. | Tema Archiv | 2008

    DeSCAS - Design process for the development of safety-critical advanced driver assistance systems

    Gacnik, Jan / Jost, Henning / Beisel, Daniel et al. | Tema Archiv | 2008