Synonyms were used for: Softwareentwicklung
Search without synonyms: keywords:("Softwareentwicklung")

1–2 of 2 hits
|

    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

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

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