Niccolò Zingoni

According to our database, Niccolò Zingoni authored at least 3 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2009

Modeling Guidelines for Code Generation in the Railway Signaling Context.

Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni

Proceedings of the First NASA Formal Methods Symposium, 2009

Formal Development for Railway Signaling Using Commercial Tools.

Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2006

A Story About Formal Methods Adoption by a Railway Signaling Manufacturer.

Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni

Proceedings of the FM 2006: Formal Methods, 2006