%0 Journal Article %1 journals/sttt/BasileBFL22 %A Basile, Davide %A ter Beek, Maurice H. %A Ferrari, Alessio %A Legay, Axel %D 2022 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 3 %P 351-370 %T Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods. %U http://dblp.uni-trier.de/db/journals/sttt/sttt24.html#BasileBFL22 %V 24

@article{journals/sttt/BasileBFL22, added-at = {2022-05-16T00:00:00.000+0200}, author = {Basile, Davide and ter Beek, Maurice H. and Ferrari, Alessio and Legay, Axel}, biburl = {https://www.bibsonomy.org/bibtex/242de8a236b3d4984fc97f07e5b6c93f3/dblp}, ee = {https://doi.org/10.1007/s10009-022-00653-3}, interhash = {365cd5a180babb1a8198c2601a78d910}, intrahash = {42de8a236b3d4984fc97f07e5b6c93f3}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 3, pages = {351-370}, timestamp = {2024-04-08T20:36:37.000+0200}, title = {Exploring the ERTMS/ETCS full moving block specification: an experience with formal methods.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt24.html#BasileBFL22}, volume = 24, year = 2022 }