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

121–140 von 151 Ergebnissen
|

    Pragmatische Modellierung von Testfällen für Software im Automobil

    Mann, Zoltan Adam | Tema Archiv | 2006
    Schlagwörter: formale Spezifikation

    An architecture-centric approach for multi-agent system development and application

    Park, Sooyong / Sugumaran, V. / Lee, Seungyun | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation

    VMF - Funktion und Technologie

    Krüger, Stefan | Tema Archiv | 2007
    Schlagwörter: formale Spezifikation

    Deadlock control software for tow automated guided vehicles using Petri Nets

    Rovetto, Carlos / Cano, Elia / Colom, Jose-Manuel | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Applying SOFL to specify a railway crossing controller for industry

    Liu, Shaoying / Asuka, M. / Komaya, K. et al. | Tema Archiv | 1999
    Schlagwörter: formale Spezifikation

    Network application layer

    Lawrenz, W. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Einsatz von Hardwarebeschreibungsprachen im Entwurf von Kfz-Komponenten

    Abel, H.B. / Papanuskas, J. | Tema Archiv | 1996
    Schlagwörter: formale Spezifikation

    A multiplexing communication IC for automotive body-electronic control

    Shinojima, Y. / Kawakami, M. / Kawahashi, A. | Tema Archiv | 1994
    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

    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

    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