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
Formal Verification of the LDACS MAKE Protocol
Formal verification of lateral and temporal safety buffers for state-based conflict detection
SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration
Timed abstractions for distributed cooperative manipulation
Improving Efficiency of Human-Robot Coexistence While Guaranteeing Safety: Theory and User Study
Development of dependable controllers in the context of machines design
Formal Verification in Early Mission Planning
Formal Verification in Early Mission Planning
Model-based development of software-intensive systems based on open-source language workbench
Software doping – Theory and detection
Formal Verification Applied to Robotic Surgery
6th Workshop on Avionics Systems und Software Engineering (AvioSE'24)
Improvement of Key Management Mechanism for RSSP-II and Its Formal Modeling and Verification
Context-Aware Verification of a Landing Gear System
Modelling Logical Architecture of Mechatronic Systems and Its Quality Control
Surgical Subtask Automation for Intraluminal Procedures using Deep Reinforcement Learning
FUNCTIONAL VERIFICATION FOR UML - BASED MODEL DRIVEN DESIGN OF EMBEDDED SYSTEMS