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

1–5 von 5 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

    CaVa DSL : Virtual learning spaces formal specification

    Freier Zugriff
    Martini, Ricardo Giuliani / Henriques, Pedro Rangel | BASE | 2018
    Schlagwörter: Formal specification

    CaVa: Virtual Learning Spaces Formal Specification (Short Paper)

    Freier Zugriff
    Martini, Ricardo Giuliani / Henriques, Pedro Rangel | BASE | 2018
    Schlagwörter: formal specification

    ENSURING HIGH QUALITY IN SPECIFICATIONS FOR AUTOMOTIVE EMBEDDED CONTROL SYSTEMS

    Freier Zugriff
    Rakotomalala, Eva / Elloy, Jean-Pierre / Molinaro, Pierre et al. | Springer Verlag | 2005
    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

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

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