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
CDL: a language for specifying high-level cross-domain security policies
Formal verification in the loop to enhance verification of safety-critical cyber-physical systems
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
CoCoSim : Contract-based Compositional Verification of Simulink Models
An approach to formal verification of free-flight separation
Applying model checking to an automotive microcontroller application
Formal Specification and Verification of Hybrid Programs for Urban Air Mobility
Model checking large software specifications
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration
Timed abstractions for distributed cooperative manipulation
Experiences with text mining large collections of unstructured systems development artifacts at JPL
Formale Verifikation von Spezifikations-Modellen
Formal safety analysis of mode transitions in aircraft flight control system