1–8 von 8 Ergebnissen
|

    Statistical model checking-based performance analysis of the onboard train integrity

    Sassi, Insaf / Ghazel, Mohammed / El-Koursi, El-Miloudi | TIBKAT | 2022

    From formal specifications to efficient test scenarios generation

    Yang, Jing / Ghazel, Mohamed / El-Koursi, El-Miloudi | IEEE | 2013

    An HCPN Pattern for Railway Safety Critical Scenarios Formal Modeling

    Boudi, Zakaryae / El Koursi, El Miloudi / Collart-Dutilleul, Simon | British Library Conference Proceedings | 2015

    Quantitative Safety Requirements of the New Onboard Train Integrity Function

    Sassi, Insaf / El-Koursi, El-Miloudi / Renaux, Dominique et al. | TIBKAT | 2022

    Bayesian Network Modeling Applied on Railway Level Crossing Safety

    Liang, Ci / Ghazel, Mohamed / Cazier, Olivier et al. | British Library Conference Proceedings | 2017

    Minimale Endogene Mortalität - ein universelles Sicherheitskriterium

    Kreb, Heinrich / Trung, Bao Le / El Koursi, El Miloudi | IuD Bahn | 2000