Skip to content

Niccol Zingoni

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2006–2009

Best venue rank

C

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2009FMICSFormal Development for Railway Signaling Using Commercial Tools.Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccol Zingoni
2006FMA Story About Formal Methods Adoption by a Railway Signaling Manufacturer.Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccol Zingoni