ISO-690 (author-date, English)

KANG, Eun-Young, 2024. Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots. In: . 20 November 2024.

Elsevier - Harvard (with titles)

Kang, E.-Y., 2024. Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots, in: . https://doi.org/10.1109/ICSRS63046.2024.10927482

American Psychological Association 7th edition

Kang, E.-Y. (2024, November 20). Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots. https://doi.org/10.1109/ICSRS63046.2024.10927482

Springer - Basic (author-date)

Kang E-Y (2024) Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots

Juristische Zitierweise (Stüber) (Deutsch)

Kang, Eun-Young, Combining Security and Safety Engineering with Formal Verification to Improve Reliability of Industrial Robots, 2024, .

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.