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

1–10 von 151 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

    Automated specification-based test case generation using SCR

    Nikora, A. P. / Heitymeyer, C. L. | NTRS | 2003
    Schlagwörter: test case generation formal specification

      Automated specification-based test case generation using SCR

      Nikora, A. P. / Heitmeyer, C. L. | NTRS | 2003
      Schlagwörter: formal specification software testing test case generation test oracle

    CaVa: Virtual Learning Spaces Formal Specification (Short Paper)

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

    Extending the use of measurement

    Nikora, A. P. | NTRS | 2003
    Schlagwörter: formal specification software testing test case generation test oracle

    CDL: a language for specifying high-level cross-domain security policies

    Thomas, R. / Tsang, S. | Tema Archiv | 2008
    Schlagwörter: formale Spezifikation , formale Verifikation

    Statechart testing method for aircraft control systems

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

    Formal validation and verification of space flight software using statechart-assertions and runtime execution monitoring

    Alves, M.C.Bergue / Drusinsky, D. / Michael, J.B. et al. | Tema Archiv | 2011
    Schlagwörter: formale Spezifikation , formale Verifikation , formale Validierung

    Echo: a practical approach to formal verification

    Strunk, Elisabeth A. / Yin, Xiang / Knight, John C. | Tema Archiv | 2005
    Schlagwörter: formale Überprüfung , formale Spezifikation

    Requirements of an integrated formal method for intelligent swarms

    Hinchey, M.G. / Rouff, C.A. / Rash, J.L. et al. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation