Stefano Bacherini

	2010
3		Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini: Model Based Testing and Abstract Interpretation in the Railway Signaling Context. ICST 2010: 103-106
	2009
2		Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni: Formal Development for Railway Signaling Using Commercial Tools. FMICS 2009: 197-198
	2006
1		Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni: A Story About Formal Methods Adoption by a Railway Signaling Manufacturer. FM 2006: 179-189

Coauthor Index

1	Carlo Becheri	[3]
2	Alessandro Fantechi	[1] [2] [3]
3	Alessio Ferrari	[2] [3]
4	Daniele Grasso	[3]
5	Matteo Tempestini	[1]
6	Niccolò Zingoni	[1] [2]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page