Synonyme wurden verwendet für: formale Überprüfung Überprüfung
Suche ohne Synonyme: keywords:(formale Überprüfung)

1–20 von 123 Ergebnissen
|

    Formal model of human erroneous behavior for safety analysis in collaborative robotics

    Freier Zugriff
    Askarpour M. / Mandrioli D. / Rossi M. et al. | BASE | 2019
    Schlagwörter: Formal verification

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

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

    Formal verification in the loop to enhance verification of safety-critical cyber-physical systems

    Freier Zugriff
    Cinzia Bernardeschi / Andrea Domenici / Sergio Saponara | BASE | 2019
    Schlagwörter: Formal verification

    Formal Verification of the LDACS MAKE Protocol

    Freier Zugriff
    Mäurer, Nils / Grundner-Culemann, Sophia | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022
    Schlagwörter: Formal Verification

    Formal verification of lateral and temporal safety buffers for state-based conflict detection

    Narkawicz, Anthony / Muñoz, César / Herencia-Zapana, Heber et al. | SAGE Publications | 2013
    Schlagwörter: Formal verification

    Creating Formal Characterizations ofRoutine Contingency Management inCommercial Aviation

    Natasha Neogi / Jon Holbrook | NTRS
    Schlagwörter: Formal Verification

    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

    Real Number Proving in PVS

    J Tanner Slagel | NTRS
    Schlagwörter: Formal Verification

    CoCoSim : Contract-based Compositional Verification of Simulink Models

    Hamza Bourbouh / Andreas Katis | NTRS
    Schlagwörter: Formal Verification

    An approach to formal verification of free-flight separation

    Eder, S. / Smith, G. | Tema Archiv | 2010
    Schlagwörter: formale Spezifikation , formale Verifikation

    Applying model checking to an automotive microcontroller application

    Schlich, B. / Salewski, F. / Kowalewski, S. | Tema Archiv | 2007
    Schlagwörter: formale Verifikation

    Planning for Autonomous Planetary Vehicles

    Penna, Giuseppe / Intrigila, Benedetto / Magazzeni, Daniele et al. | Tema Archiv | 2010
    Schlagwörter: formale Verifikation

    Formal Specification and Verification of Hybrid Programs for Urban Air Mobility

    J. Tanner Slagel / Cesar Munoz / Swee Balachandran et al. | NTRS
    Schlagwörter: Formal Verification

    Model checking large software specifications

    Chan, W. / Anderson, R.J. / Beame, P. et al. | Tema Archiv | 1997
    Schlagwörter: formale Spezifikation , formale Verifikation

    SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration

    Freier Zugriff
    ASKARPOUR, MEHRNOOSH / MANDRIOLI, DINO / ROSSI, MATTEO GIOVANNI et al. | BASE | 2016
    Schlagwörter: Formal verification

    Timed abstractions for distributed cooperative manipulation

    Freier Zugriff
    Verginis, Christos K. / Dimarogonas, Dimos V. | BASE | 2018
    Schlagwörter: Formal verification

    Experiences with text mining large collections of unstructured systems development artifacts at JPL

    Port, D. / Nikora, A. / Hihn, J. et al. | Tema Archiv | 2011
    Schlagwörter: formale Verifikation

    Model Checking of Robot Gathering

    Freier Zugriff
    Doan, Ha Thi Thu / Ogata, Kazuhiro | BASE | 2018
    Schlagwörter: Formal Verification

    Formale Verifikation von Spezifikations-Modellen

    Jansen, P. | Tema Archiv | 2001
    Schlagwörter: formale Verifikation

    Formal safety analysis of mode transitions in aircraft flight control system

    Meenakshi, B. / Das Barman, K. / Babu, K.G. et al. | Tema Archiv | 2007
    Schlagwörter: formale Verifikation