Synonyms were used for: formale Spezifikation
Search without synonyms: keywords:(formale Spezifikation)

1–10 of 33 hits
|

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

    Free access
    Andrzej KOCHAN / Piotr FOLĘGA / Remigijus SKIRKUS et al. | DOAJ | 2023
    Keywords: formal specification

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

    Free access
    Zhang, Yong / Wang, Haifeng | Wiley | 2020
    Keywords: formal specification

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

      Free access
      Zhang, Yong / Wang, Haifeng | IET | 2020
      Keywords: formal specification

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

    Gamatie, Abdoulaye / Gautier, Thierry | Tema Archive | 2010
    Keywords: formale Spezifikation

    Ein Ingenieur-gerechtes formales Beschreibungsmittel

    Yuen Man Hon / Gayen, Jan-Tecker | Tema Archive | 2010
    Keywords: formale Spezifikation , formale Methode

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

    Flammini, F. / Mazzocca, N. / Orazzo, A. | Tema Archive | 2009
    Keywords: formale Spezifikation

    Formale ergänzen traditionelle Methoden in der Softwareentwicklung

    Nowotka, Dirk | Tema Archive | 2008
    Keywords: formale Spezifikation , formale Sprache

    Experimentation de contextes de preuve et d'observateurs temporises pour la validation d'un protocole avionique

    Dhaussy, Philippe / Roger, Jean-Charles / Bonnin, Hugues et al. | Tema Archive | 2007
    Keywords: formale Spezifikation , formale Überprüfung

    Projet B-RAIL: utilisation de la notation UML et du langage B pour la modelisation d'un passage a niveau

    Boulanger, Jean-Louis | Tema Archive | 2007
    Keywords: formale Spezifikation

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

    Belschner, Ralf / Bortolazzi, Jürgen / Freess, Jascha et al. | Tema Archive | 2005
    Keywords: formale Spezifikation , formale Sprache

    Auf solide Basis. Effiziente Entwicklung von Diagnosefunktionen im Automobil

    Stimmler, Simon / Rätz, Christoph | Tema Archive | 2005
    Keywords: formale Spezifikation