Synonyme wurden verwendet für: Formale Methode Methode
Suche ohne Synonyme: keywords:(Formale Methode)

1–20 von 41 Ergebnissen
|

    Software procurement and methods for specification and validation in the railway transportation industry

    Foschi, U. / Giuliani, M. / Morzenti, A. et al. | Tema Archiv | 2002
    Schlagwörter: formales Verfahren

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

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

    Trustworthy spacecraft design using formal methods

    Freier Zugriff
    Nguyen, Viet Yen | TIBKAT | 2013
    Schlagwörter: Formale Methode

    Neural Simplex Architecture

    Phan, Dung T. / Grosu, Radu / Jansen, Nils et al. | TIBKAT | 2020
    Schlagwörter: Formale Methode

    Heterogeneous Verification of an Autonomous Curiosity Rover

    Cardoso, Rafael C. / Farrell, Marie / Luckcuck, Matt et al. | TIBKAT | 2020
    Schlagwörter: Formale Methode

    Per-Location Simulation

    Li, Liyi / Gunter, Elsa L. | TIBKAT | 2020
    Schlagwörter: Formale Methode

    On the Usefulness of Clause Strengthening in Parallel SAT Solving

    Vallade, Vincent / Frioux, Ludovic Le / Baarir, Souheib et al. | TIBKAT | 2020
    Schlagwörter: Formale Methode

    Strengthening Deterministic Policies for POMDPs

    Winterer, Leonore / Wimmer, Ralf / Jansen, Nils et al. | TIBKAT | 2020
    Schlagwörter: Formale Methode

    A Validation Methodology for OCaml-to-PVS Translation

    An, Xiaoxin / Tahat, Amer / Ravindran, Binoy | TIBKAT | 2020
    Schlagwörter: Formale Methode

    Software doping – Theory and detection

    Freier Zugriff
    Biewer, Sebastian | TIBKAT | 2023
    Schlagwörter: Formale Methode

    Formal Methods for Safety and Security : Case Studies for Aerospace Applications

    Nanda, Manju / Jeppu, Yogananda | SLUB | 2018
    Schlagwörter: Formale Methode

      Formal methods for safety and security : case studies for aerospace applications

      Application of Formal Methods for Safety and Security Critical Systems, Veranstaltung | TIBKAT | 2018
      Schlagwörter: Formale Methode

      Formal methods for safety and security : case studies for aerospace applications

      Nanda, Manju / Jeppu, Yogananda | SLUB | 2018
      Schlagwörter: Formale Methode

    Formal methods for railway operation and control systems

    Symposium FORMS | TIBKAT | 2003
    Schlagwörter: Formale Methode

    FORMS/FORMAT 2004 - Formal Methods for Automation and Safety in Railway and Automotive Systems : proceedings of [5th] Symposium FORMS/FORMAT 2004 Braunschweig, Germany, December 2nd and 3rd 2004

    Symposium FORMS, FORMAT / Institut für Verkehrssicherheit und Automatisierungstechnik, Braunschweig | TIBKAT | 2004
    Schlagwörter: Formale Methode

    Using viewpoints to define domain requirements

    Mannion, M. / Keepence, B. / Harper, D. | Tema Archiv | 1998
    Schlagwörter: formale Spezifikation , Methodik

    Developing safety-critical real-time systems with SDL design patterns and components

    Fliege, I. / Geraldy, A. / Gotzhein, R. et al. | Tema Archiv | 2005
    Schlagwörter: formale Spezifikation , Methodik

    Forms '99 - formale Techniken für die Eisenbahnsicherung

    Forms / Workshop Forms | TIBKAT | 2000
    Schlagwörter: Formale Methode

    Methode zur Optimierung der Migration von ETCS

    Lackhove, Christoph | Tema Archiv | 2014
    Schlagwörter: mathematische Methode , formale Sprache , formale Methode

    Investigating the readability of state-based formal requirements specification languages

    Zimmerman, M.K. / Lundqvist, K. / Leveson, N. | Tema Archiv | 2002
    Schlagwörter: formale Spezifikation , formale Methode

    Verification of cyberphysical transportation systems (intelligent transportation systems)

    Platzer, A. | Tema Archiv | 2009
    Schlagwörter: formale Verifikation , formale Methode

    Ein Ingenieur-gerechtes formales Beschreibungsmittel

    Yuen Man Hon / Gayen, Jan-Tecker | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , formale Methode