Synonyme wurden verwendet für: formale Spezifikation
Suche ohne Synonyme: keywords:(formale Spezifikation)

1–4 von 4 Ergebnissen
|

    Qualitative and quantitative description of reliability characteristics in availability/safety diagrams

    Schnieder, E. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    A railway demonstrator model for experimental investigation of integrated specification techniques

    Hänsel, F. / König, S. / Slovak, R. et al. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation , formale Überprüfung

    Ansätze zur Entwicklung von Eisenbahnleitsystemen auf der Basis von Petrinetzen

    Chouikha, M. / Einer, S. / Meyer zu Hörste, M. et al. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Petrinetze für die durchgängige Entwicklung von Systemen der Eisenbahnsicherung

    Meyer zu Hörste, M. / Schnieder, E. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation