1–6 von 6 Ergebnissen
|

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: SEFM

    Validation of Railway Interlocking Systems by Formal Verification, A Case Study

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: SEFM

    Applied Bounded Model Checking for Interlocking System Designs

    Haxthausen, A.E. / Peleska, J. / Pinger, R. | British Library Conference Proceedings | 2014
    Schlagwörter: SEFM

    Twenty-Five Years of Formal Methods and Railways: What Next?

    Fantechi, A. | British Library Conference Proceedings | 2014
    Schlagwörter: SEFM

    Verification of Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. et al. | British Library Conference Proceedings | 2014
    Schlagwörter: SEFM

    Formal Implementation of Data Validation for Railway Safety-Related Systems with OVADO

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014
    Schlagwörter: SEFM