Safety Assurance of a High Voltage Controller for an Industrial Robotic System

von Murray, Yvonne
Veröffentlicht in SBMF (23. : 2020 : Online) Formal methods: foundations and applications (2020)