Gaya APA

Ferrari, Alessio, Fantechi, Alessandro, Gnesi, Stefania, Magnani, Gianluca. (). Model-based development and formal methods in the railway industry . : .

Gaya Chicago

Ferrari, Alessio, Fantechi, Alessandro, Gnesi, Stefania, Magnani, Gianluca. Model-based development and formal methods in the railway industry. : , . Text.

Gaya MLA

Ferrari, Alessio, Fantechi, Alessandro, Gnesi, Stefania, Magnani, Gianluca. Model-based development and formal methods in the railway industry. : , . Text.

Gaya Turabian

Ferrari, Alessio, Fantechi, Alessandro, Gnesi, Stefania, Magnani, Gianluca. Model-based development and formal methods in the railway industry. : , . Print.