Sciweavers

FM
2006
Springer

A Story About Formal Methods Adoption by a Railway Signaling Manufacturer

14 years 3 months ago
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer
Stefano Bacherini, Alessandro Fantechi, Matteo Tem
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where FM
Authors Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni
Comments (0)