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

101–110 von 151 Ergebnissen
|

    Industrial applications of software synthesis via category theory

    Williamson, K. / Healy, M. | Tema Archiv | 1999
    Schlagwörter: formale Spezifikation

    Integration of message sequence charts and Petri nets in the system design process

    Kluge, O. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Functional modelling and simulation of train control systems

    Meyer zu Hörste, M. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    Explorations on the formal frontier of distributed system design

    Feather, M.S. | Tema Archiv | 1992
    Schlagwörter: formale Spezifikation

    A database architecture for reusable CommonKADS agent specification components

    Allsopp, D.J. / Harrison, A. / Sheppard, C. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)

    Project Golden Gate: towards real-time Java in space missions

    Dvorak, D. / Bollella, G. / Canham, T. et al. | Tema Archiv | 2004
    Schlagwörter: formale Spezifikation , formale Verifikation

    A new approach for gateway-based automotive network architectures

    Limam, Mourad | Tema Archiv | 2009
    Schlagwörter: formale Spezifikation

    Process model for the development of system requirements specifications for railway systems

    Bitsch, F. | Tema Archiv | 2003
    Schlagwörter: formale Spezifikation

    The development of the advanced protocol for automotive local area multiplexing network (advanced PALMNET)

    Kimura, H. / Himono, Y. / Matsuda, Y. et al. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation