Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems

von Proença, José
Veröffentlicht in RSSRAIL (4. : 2022 : Paris) Reliability, safety, and security of railway systems (2022)

A Proposal for the Classification of Methods for Verification and Validation of Safety, Cybersecurity, and Privacy of Automated Systems

von Vara, Jose Luis de la
Veröffentlicht in QUATIC (14. : 2021 : Online) Quality of Information and Communications Technology (2021)