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