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

José Proença, Sina Borrami, Jorge Sanchez de Nova, David Pereira, Giann Spilere Nandi
June 2022
PDF Project Project Project DOI RSSRail'22 Slides Uppex tool
Type
Conference paper
Publication
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - 4th International Conference, RSSRail 2022, Paris, France, June 1-2, 2022, Proceedings
DaVinci Reassure VALU3S

Related