1–10 of 479 hits
|

Your search:
keywords:(Software)

    Verification of Solid State Interlocking Programs

    James, P. / Lawrence, A. / Moller, F. et al. | British Library Conference Proceedings | 2014
    Keywords: Software engineering

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

    Abo, R. / Voisin, L. | British Library Conference Proceedings | 2014
    Keywords: Software engineering

    Verification of Scheme Plans Using CSP||B

    James, P. / Moller, F. / Nguyen, H.N. et al. | British Library Conference Proceedings | 2014
    Keywords: Software engineering

    Applied Bounded Model Checking for Interlocking System Designs

    Haxthausen, A.E. / Peleska, J. / Pinger, R. | British Library Conference Proceedings | 2014
    Keywords: Software engineering

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

    Fantechi, A. | British Library Conference Proceedings | 2014
    Keywords: Software engineering

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

    Bonacchi, A. / Fantechi, A. / Bacherini, S. et al. | British Library Conference Proceedings | 2014
    Keywords: Software engineering

    2011-01-1266 High Voltage Connect Feature

    Schieffer, T. / Katoch, S. / Marsh, R. et al. | British Library Conference Proceedings | 2011
    Keywords: In-vehicle software

    2011-01-1265 Virtualization for ECU Platform Software Testing in Automotive Embedded

    Katyal, R.K. / Srinath, S. / Society of Automotive Engineers | British Library Conference Proceedings | 2011
    Keywords: In-vehicle software

    2011-01-1044 ADACS: Advanced Diagnosis for Time-Triggered Automotive Communication Systems

    Armengaud, E. / Tengg, A. / Lieger, R. et al. | British Library Conference Proceedings | 2011
    Keywords: In-vehicle software

    2011-01-1264 Using Model Transformation/Code Generation Technology to Migrate Legacy Software Assets to AUTOSAR

    Flores, R. / Rosa, D. / Murugesan, M. et al. | British Library Conference Proceedings | 2011
    Keywords: In-vehicle software