Sciweavers

Share
ICST
2010
IEEE

Model Based Testing and Abstract Interpretation in the Railway Signaling Context

9 years 7 months ago
Model Based Testing and Abstract Interpretation in the Railway Signaling Context
Daniele Grasso, Alessandro Fantechi, Alessio Ferra
Added 13 Feb 2011
Updated 13 Feb 2011
Type Journal
Year 2010
Where ICST
Authors Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini
Comments (0)
books