Items where authors include "Hagag, Rabah Saleh"

Export as [feed] Atom [feed] RSS
Number of items: 1.

Proceedings Paper

Murray, Yvonne, Anisi, David A., Sirevåg, Martin et al. (2 more authors) (2020) Safety assurance of a high voltage controller for an industrial robotic system. In: Carvalho, Gustavo and Stolz, Volker, (eds.) Formal Methods:Foundations and Applications - 23rd Brazilian Symposium, SBMF 2020, Proceedings. 23rd Brazilian Symposium on Formal Methods, SBMF 2020, 25-27 Nov 2020. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . Springer , BRA , pp. 45-63.

This list was generated on Sat Mar 23 20:18:03 2024 GMT.