Formal Methods and Safety Certification: Challenges in the Railways Domain
['Alessandro Fantechi', 'Alessio Ferrari', 'Stefania Gnesi']
Formal Methods and Safety Certification: Challenges in the Railways Domain