121–140 von 144 Ergebnissen
|

    A multiplexing communication IC for automotive body-electronic control

    Shinojima, Y. / Kawakami, M. / Kawahashi, A. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Formale Entwicklung der Steuerungssoftware für eine elektrisch ortsbediente Weiche mit VSE

    Canver, E. / Gayen, J.T. / Moik, A. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation

    Modellgestützte Bewertung der Ablenkungswirkimg von neuen interaktiven Diensten im Fahrzeug

    Urbas, Leon / Leuchter, Sandro / Schaft, Torsten et al. | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation

    Model driven development and code generation: An automotive case study

    Banci, Michele / Fantechi, Alessandro / Gnesi, Stefania et al. | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation , formale Verifikation

    Modellierung und Analyse von Zeitanforderungen basierend auf der UML

    Hagner, Mattias / Huhn, Michaela | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    SACEM software validation

    Guiho, G. / Hennebert, C. | Tema Archiv | 1990
    Schlagwörter: FORMALE SPEZIFIKATION

    Using specification-driven concepts for distributed data management and dissemination

    Blake, M.B. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation

    Model-based testing of a reactive system with coloured Petri Nets

    Tjell, Simon | Tema Archiv | 2006
    Schlagwörter: formale Spezifikation

    Specification based prototyping of control systems

    Heimdahl, M.P.E. / Thompson, J.M. | Tema Archiv | 2000
    Schlagwörter: formale Spezifikation

    Von Simulink nach OSEK: Automatische Codegenerierung für Echtzeitbetriebssysteme mit TargetLink

    Köster, L. / Thomsen, T. / Stracke, R. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation

    Reuse in Command-and-Control Systems

    O'Connor, J. / Mansour, C. / Turner-Harris, J. et al. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    The building blocks for specifying communication behavior of complex objects: An activity-driven approach

    Ling Liu / Meersman, R. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation

    Formal requirements analysis of an avionics control system

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

    Validating metrics for ensuring Space Shuttle flight software quality

    Schneidewind, N.F. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation , formale Überprüfung

    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

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

    Schnieder, Eckehard | 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