Synonyme wurden verwendet für: models
Suche ohne Synonyme: keywords:(Formal models and verification)

1–20 von 90 Ergebnissen
|

    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 , Model-based design

    CoCoSim : Contract-based Compositional Verification of Simulink Models

    Hamza Bourbouh / Andreas Katis | NTRS
    Schlagwörter: Simulink models , Mathematical And Computer Sciences (General) , Formal Verification

    Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft

    P. Rajagopal / J. B. Dabney / J. M. Badger | NTIS | 2023
    Schlagwörter: Formal methods , Verification and validation

    Using Assume-Guarantee Contracts in Autonomous Spacecraft

    J. B. Dabney / P. Rajagopal / J. M. Badger | NTIS | 2021
    Schlagwörter: Formal methods , Verification and validation

    Using Assume-Guarantee Contracts in Autonomous Spacecraft

    James B Dabney / Pavan Rajagopal / Julia M Badger | NTRS
    Schlagwörter: Formal Methods , Computer Programming And Software , Verification and Validation

    Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft

    Pavan Rajagopal / James B. Dabney / Julia M. Badger | NTRS
    Schlagwörter: Formal Methods , Computer Programming And Software , Verification and Validation

    Creating Formal Characterizations ofRoutine Contingency Management inCommercial Aviation

    Natasha Neogi / Jon Holbrook | NTRS
    Schlagwörter: Air Transportation And Safety , Formal Verification

    A Decentralized Framework to Support UAS Merging and Spacing Operations in Urban Canyons

    Swee Balachandran / Christopher Manderino / César Muñoz et al. | NTRS
    Schlagwörter: Software Verification , Formal Methods , Computer Programming And Software , Formal Verification

    Real Number Proving in PVS

    J Tanner Slagel | NTRS
    Schlagwörter: Mathematical And Computer Sciences (General) , 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 , Partial plant models

    Model Checking of Robot Gathering

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

    Context-Aware Verification of a Landing Gear System

    Dhaussy, Philippe / Teodorov, Ciprian | Springer Verlag | 2014
    Schlagwörter: formal verification , context-aware model-checking , Logics and Meanings of Programs , Mathematical Logic and Formal Languages , Simulation and Modeling

    Formal Specification and Verification of Hybrid Programs for Urban Air Mobility

    J. Tanner Slagel / Cesar Munoz / Swee Balachandran et al. | NTRS
    Schlagwörter: Air Transportation And Safety , Formal Verification

    Verification and validation of Reynolds-averaged Navier–Stokes turbulence models for external flow

    Freeman, Jacob A. / Roy, Christopher J. | Elsevier | 2013
    Schlagwörter: Verification and validation , Code verification , Solution verification , Reynold-averaged Navier–Stokes turbulence models

    Monitoring ICAROUS: From Requirements to Autonomous Flight

    Swee Balachandran / Esther Conrad / Aaron Dutle et al. | NTRS | 2020
    Schlagwörter: runtime verification , formal methods , Computer Programming And Software

    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: Model Checking , Formal Verification

    Capturing & Analyzing Requirements with FRET

    Dimitra Giannakopoulou / Anastasia Mavridou / Tom Pressburger et al. | NTRS
    Schlagwörter: Mathematical And Computer Sciences (General) , Requirements, Simulink models, 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: Model Checking , Formal Verification

    Understanding and Verifying Deep Neural Networks

    Divya Gopinath | NTRS
    Schlagwörter: Verification , Formal analysis , Cybernetics, Artificial Intelligence And Robotics