Synonyme wurden verwendet für:
formale Überprüfung
•
Überprüfung
Suche ohne Synonyme:
keywords:(formale Überprüfung)
Formal model of human erroneous behavior for safety analysis in collaborative robotics
Formal verification in the loop to enhance verification of safety-critical cyber-physical systems
CDL: a language for specifying high-level cross-domain security policies
Formal Verification of the LDACS MAKE Protocol
Formal verification of lateral and temporal safety buffers for state-based conflict detection
Creating Formal Characterizations ofRoutine Contingency Management inCommercial Aviation
An approach to formal verification of free-flight separation
CoCoSim : Contract-based Compositional Verification of Simulink Models
Applying model checking to an automotive microcontroller application
Formal Specification and Verification of Hybrid Programs for Urban Air Mobility
Model checking large software specifications
Experiences with text mining large collections of unstructured systems development artifacts at JPL
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration
Formal safety analysis of mode transitions in aircraft flight control system
Timed abstractions for distributed cooperative manipulation