Synonyme wurden verwendet für:
models
Suche ohne Synonyme:
keywords:(Formal models and verification)
Formal verification in the loop to enhance verification of safety-critical cyber-physical systems
CoCoSim : Contract-based Compositional Verification of Simulink Models
Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft
Using Assume-Guarantee Contracts in Autonomous Spacecraft
Using Assume-Guarantee Contracts in Autonomous Spacecraft
Using Assume-Guarantee Contracts for Operational Verification of Autonomous Spacecraft
Creating Formal Characterizations ofRoutine Contingency Management inCommercial Aviation
A Decentralized Framework to Support UAS Merging and Spacing Operations in Urban Canyons
Development of dependable controllers in the context of machines design
Model Checking of Robot Gathering
Context-Aware Verification of a Landing Gear System
Formal Specification and Verification of Hybrid Programs for Urban Air Mobility
Verification and validation of Reynolds-averaged Navier–Stokes turbulence models for external flow
Monitoring ICAROUS: From Requirements to Autonomous Flight
Formal Verification in Early Mission Planning
Capturing & Analyzing Requirements with FRET
Formal Verification in Early Mission Planning
Understanding and Verifying Deep Neural Networks