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

101–120 von 151 Ergebnissen
|

    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

    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)

    Explorations on the formal frontier of distributed system design

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

    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

    Improving software development in the automotive area through tool supported modelling and formal analysis

    Mutz, M. / Diethers, K. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation

    An example of risk assessment of software systems specifications

    Ammar, H.H. / Nikzadeh, T. / Dugan, J.B. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation

    Automated testing in practice: the highway tolling system

    Vries, R.G. de / Belinfante, A. / Feenstra, J. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation

    Role of VDM(++) in the development of a real-time tracking and tracing system

    Dürr, E.H. / Dusink, E.M. | Tema Archiv | 1993
    Schlagwörter: formale Spezifikation

    Evaluating a control system architecture based on a formally derived AOCS model

    Ilic, Dubravka / Latvala, Timo / Varpaaniemi, Kimmo et al. | Tema Archiv | 2010
    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

    Semiformale Entwurfsmethoden bei BMW

    Eckrich, M. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation , formale Sprache

    MODSARE-V: validation of dependability and safety critical software components with model based requirements

    Maia Mozart Silveira, Daniel Tomas de / Schoofs, Tobias / Alana Salazar, Elena et al. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme

    Trachtenherz, David | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Safety checking in an automatic train operation system

    Palshikar, G.K. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation

    Rapid Prototyping elektronischer Steuerungssysteme in der Automobilentwicklung

    Spreng, M. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation , formale Sprache