Survey on Formal Methods and Tools in Railways: The ASTRail Approach. Ferrari, A., ter Beek, M. H., Mazzanti, F., Basile, D., Fantechi, A., Gnesi, S., Piattino, A., & Trentini, D. In Dutilleul, S. C., Lecomte, T., & Romanovsky, A. B., editors, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings, volume 11495, of Lecture Notes in Computer Science, pages 226–241, 2019. Springer.
Survey on Formal Methods and Tools in Railways: The ASTRail Approach [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/rssrail/FerrariBMBFGPT19,
  author    = {Alessio Ferrari and
               Maurice H. ter Beek and
               Franco Mazzanti and
               Davide Basile and
               Alessandro Fantechi and
               Stefania Gnesi and
               Andrea Piattino and
               Daniele Trentini},
  editor    = {Simon Collart Dutilleul and
               Thierry Lecomte and
               Alexander B. Romanovsky},
  title     = {Survey on Formal Methods and Tools in Railways: The ASTRail Approach},
  booktitle = {Reliability, Safety, and Security of Railway Systems. Modelling, Analysis,
               Verification, and Certification - Third International Conference,
               RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {11495},
  pages     = {226--241},
  publisher = {Springer},
  year      = {2019},
  url       = {https://doi.org/10.1007/978-3-030-18744-6\_15},
  doi       = {10.1007/978-3-030-18744-6\_15},
  timestamp = {Fri, 31 May 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/rssrail/FerrariBMBFGPT19.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0