Work

Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots

Year: 2024

Type: conference-paper

Source: International Conference on System Reliability and Safety (ICSRS)

DOI: 10.1109/icsrs63046.2024.10927482

Author: Eun-Young Kang

Institution: University of Southern Denmark

Language: English

Topic: Safety Systems Engineering in Autonomy

Subfield: Safety, Risk, Reliability and Quality

Field: Engineering

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W4409013910

FWCI:

Cites: 17

Cited by:

Related to: 10