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

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

    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

    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

    Model Checking of Robot Gathering

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

    Improving Efficiency of Human-Robot Coexistence While Guaranteeing Safety: Theory and User Study

    Freier Zugriff
    Pereira, Aaron / Baumann, Mareike / Gerstner, Jonas et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2022
    Schlagwörter: Formal verification

    Development of dependable controllers in the context of machines design

    Freier Zugriff
    Machado, José Mendes / Campos, J. Creissac | BASE | 2014
    Schlagwörter: Formal verification

    Formal Verification in Early Mission Planning

    Freier Zugriff
    Fischer, Philipp M. / Lüdtke, Daniel / Schaus, Volker et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2012
    Schlagwörter: Formal Verification

      Formal Verification in Early Mission Planning

      Freier Zugriff
      Fischer, Philipp M. / Lüdtke, Daniel / Schaus, Volker et al. | Deutsches Zentrum für Luft- und Raumfahrt (DLR) | 2012
      Schlagwörter: Formal Verification

    Model-based development of software-intensive systems based on open-source language workbench

    Dr. Braibant, Vincent / Singh, V. B. / Dutre, M. et al. | Springer Verlag | 2017
    Schlagwörter: Formal Verification

    Software doping – Theory and detection

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

    Formal Verification Applied to Robotic Surgery

    Bresolin, Davide / Geretti, Luca / Muradore, Riccardo et al. | Springer Verlag | 2014
    Schlagwörter: Formal Verification

    6th Workshop on Avionics Systems und Software Engineering (AvioSE'24)

    Reich, Marina / Annighoefer, Bjoern / Schweiger, Andreas | DataCite | 2024
    Schlagwörter: Formal verification

    Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification

    Lian, Huozhen / Ma, Lianchuan / Cao, Yuan | Springer Verlag | 2020
    Schlagwörter: TLA+ formal verification

    Context-Aware Verification of a Landing Gear System

    Dhaussy, Philippe / Teodorov, Ciprian | Springer Verlag | 2014
    Schlagwörter: formal verification

    Modelling Logical Architecture of Mechatronic Systems and Its Quality Control

    Campetelli, Alarico / Broy, Manfred | Springer Verlag | 2017
    Schlagwörter: Formal verification

    Cellular automaton simulation of vehicles in the contraflow left‐turn lane at signalised intersections

    Freier Zugriff
    Chen, Qun / Yi, Jiaxuan / Wu, Yuli | Wiley | 2019
    Schlagwörter: formal verification

      Cellular automaton simulation of vehicles in the contraflow left-turn lane at signalised intersections

      Freier Zugriff
      Chen, Qun / Yi, Jiaxuan / Wu, Yuli | IET | 2019
      Schlagwörter: formal verification

    Surgical Subtask Automation for Intraluminal Procedures using Deep Reinforcement Learning

    Freier Zugriff
    Ameya Pore | BASE | 2023
    Schlagwörter: Formal Verification

    FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS

    Freier Zugriff
    Kardos, Martin / Fristacky, Norbert | Springer Verlag | 2005
    Schlagwörter: Formal Verification