1–3 von 3 Ergebnissen
|

    Notation, Method, Tool: A Conceptual Framework for the Application of Formal Methods

    Horste, M. M. z. / Parthasarathy, S. / Schnieder, E. et al. | British Library Conference Proceedings | 2001
    Beteiligte: Becker, U.

    Specification of Train Control Systems with STEP

    Bikker, G. / Daubler, L. / Horste, M. M. z. et al. | British Library Conference Proceedings | 2001
    Beteiligte: Becker, U.

    Functional vs. Technical Modularization of Train Control Systems

    Janhsen, A. / Horste, M. M. z. / Schnieder, E. et al. | British Library Conference Proceedings | 2001
    Beteiligte: Becker, U.