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

141–151 von 151 Ergebnissen
|

    Formal requirements analysis of an avionics control system

    Dutertre, B. / Stavridou, V. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation , formale Sprache , formale Überprüfung

    Formalized conceptualization for the harmonization of the legal framework in railway transportation

    Schnieder, Eckehard | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    An approach for formal modelling of concepts of transportation and metrology standards

    Hänsel, Frank / Zhou, Yong / Poliak, Jan et al. | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    Formal methods for railway signalling

    Cullyer, W.J. / Wise, J.W. | Tema Archiv | 1989
    Schlagwörter: FORMALE SPEZIFIKATION

    Setting software requirements: scenario for future fighters

    Bera, R.K. | Tema Archiv | 1990
    Schlagwörter: FORMALE SPEZIFIKATION

    CCS-recent applications, experience with tools, current and planned research

    Cleland, G. | Tema Archiv | 1991
    Schlagwörter: FORMALE SPEZIFIKATION

    Transputer-based fault-tolerant and fail-safe node for dual ring distributed railway signalling systems

    Kumar, K.V. / Chandra, V. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Method and specification tools for Airbus onboard systems

    Briere, D. / Ribot, D. / Pilaud, D. et al. | Tema Archiv | 1995
    Schlagwörter: formale Spezifikation , formale Überprüfung

    Specification and verification of the ASOS kernel

    Di Vito, B.L. / Palmquist, P.H. / Anderson, E.R. et al. | Tema Archiv | 1990
    Schlagwörter: FORMALE SPEZIFIKATION

    Design by contract: the lessons of Ariane

    Jazequel, J.M. / Meyer, B. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation

    Safety-critical systems built with COTS

    Profeta, J.A. III / Andrianos, N.P. / Bing Yu et al. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation