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

1–10 von 33 Ergebnissen
|

    MULTIGRAPH IS: Part 1. A FORMAL DESCRIPTION OF RAILWAY INFRASTRUCTURE FOR THE DIGITAL TWIN OF THE ETCS APPLICATION

    Freier Zugriff
    Andrzej KOCHAN / Piotr FOLĘGA / Remigijus SKIRKUS et al. | DOAJ | 2023
    Schlagwörter: formal specification

    Statechart testing method for aircraft control systems

    Bogdanov, K. / Holcombe, M. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)

    Formale ergänzen traditionelle Methoden in der Softwareentwicklung

    Nowotka, Dirk | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation , formale Sprache

    Requirements specification for process-control systems

    Leveson, N.G. / Heimdahl, M.P.E. / Hildreth, H. et al. | Tema Archiv | 1994
    Schlagwörter: formale Spezifikation

    Gesamtheitlicher Entwicklungsansatz für Dokumentation und Bewertung von E/E-Architekturen

    Belschner, Ralf / Bortolazzi, Jürgen / Freess, Jascha et al. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation , formale Sprache

    The Signal Synchronous Multiclock Approach to the Design of Distributed Embedded Systems

    Gamatie, Abdoulaye / Gautier, Thierry | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation

    Risk assessment of software-system specifications

    Ammar, H.H. / Nikzadeh, T. / Dugan, J.B. | Tema Archiv | 2001
    Schlagwörter: formale Spezifikation , Spezifikation (Normung)

    Auf solide Basis. Effiziente Entwicklung von Diagnosefunktionen im Automobil

    Stimmler, Simon / Rätz, Christoph | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation

    Topological manifold‐based monitoring method for train‐centric virtual coupling control systems

    Freier Zugriff
    Zhang, Yong / Wang, Haifeng | Wiley | 2020
    Schlagwörter: formal specification

      Topological manifold-based monitoring method for train-centric virtual coupling control systems

      Freier Zugriff
      Zhang, Yong / Wang, Haifeng | IET | 2020
      Schlagwörter: formal specification

    Automatic instantiation of abstract tests on specific configurations for large critical control systems

    Flammini, F. / Mazzocca, N. / Orazzo, A. | Tema Archiv | 2009
    Schlagwörter: formale Spezifikation