Validation Coverage for a Component-based SDL model of a Railway Signaling System. Banci, M., Becucci, M., Fantechi, A., & Spinicci, E. In Proceedings of the International Workshop on Test and Analysis of Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28, 2004, volume 116, of Electronic Notes in Theoretical Computer Science, pages 99–111, 2004. Elsevier.
Validation Coverage for a Component-based SDL model of a Railway Signaling System [link]Paper  doi  bibtex   
@inproceedings{DBLP:journals/entcs/BanciBFS05,
  author       = {Michele Banci and
                  Marcello Becucci and
                  Alessandro Fantechi and
                  Emilio Spinicci},
  editor       = {Mauro Pezz{\`{e}}},
  title        = {Validation Coverage for a Component-based {SDL} model of a Railway
                  Signaling System},
  booktitle    = {Proceedings of the International Workshop on Test and Analysis of
                  Component Based Systems, TACoS 2004, Barcelona, Spain, March 27-28,
                  2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {116},
  pages        = {99--111},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.02.083},
  doi          = {10.1016/J.ENTCS.2004.02.083},
  timestamp    = {Fri, 09 Dec 2022 13:14:28 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/BanciBFS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0