%0 Journal Article %1 journals/software/FerrariFGM13 %A Ferrari, Alessio %A Fantechi, Alessandro %A Gnesi, Stefania %A Magnani, Gianluca %D 2013 %J IEEE Software %K dblp %N 3 %P 28-34 %T Model-Based Development and Formal Methods in the Railway Industry. %U http://dblp.uni-trier.de/db/journals/software/software30.html#FerrariFGM13 %V 30

@article{journals/software/FerrariFGM13, added-at = {2016-01-12T00:00:00.000+0100}, author = {Ferrari, Alessio and Fantechi, Alessandro and Gnesi, Stefania and Magnani, Gianluca}, biburl = {https://www.bibsonomy.org/bibtex/2f16e8accf5e94d353e65c9f55eb3815c/dblp}, ee = {http://doi.ieeecomputersociety.org/10.1109/MS.2013.44}, interhash = {5dfa44c147fd32434652173ddf458e7f}, intrahash = {f16e8accf5e94d353e65c9f55eb3815c}, journal = {IEEE Software}, keywords = {dblp}, number = 3, pages = {28-34}, timestamp = {2016-01-13T11:51:32.000+0100}, title = {Model-Based Development and Formal Methods in the Railway Industry.}, url = {http://dblp.uni-trier.de/db/journals/software/software30.html#FerrariFGM13}, volume = 30, year = 2013 }