Login / Signup
Niccolò Zingoni
Publication Activity (10 Years)
Years Active: 2006-2009
Publications (10 Years): 0
</>
Publications
</>
Alessio Ferrari
,
Alessandro Fantechi
,
Stefano Bacherini
,
Niccolò Zingoni
Formal Development for Railway Signaling Using Commercial Tools.
FMICS
(2009)
Alessio Ferrari
,
Alessandro Fantechi
,
Stefano Bacherini
,
Niccolò Zingoni
Modeling Guidelines for Code Generation in the Railway Signaling Context.
NASA Formal Methods
(2009)
Stefano Bacherini
,
Alessandro Fantechi
,
Matteo Tempestini
,
Niccolò Zingoni
A Story About Formal Methods Adoption by a Railway Signaling Manufacturer.
FM
(2006)