Formal Methods and Safety Certification: Challenges in the Railways Domain.

Alessandro Fantechi, Alessio Ferrari, Stefania Gnesi

Browse the full ISoLA paper archive.