Treffer: Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots
Title:
Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots
Authors:
Source:
2024 8th International Conference on System Reliability and Safety (ICSRS) System Reliability and Safety (ICSRS), 2024 8th International Conference on. :788-792 Nov, 2024
Relation:
2024 8th International Conference on System Reliability and Safety (ICSRS)
Database:
IEEE Xplore Digital Library