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 = "Banci, Michele and Becucci, Marcello and Fantechi, Alessandro and Spinicci, Emilio",
    editor = "Pezz{\`{e}}, Mauro",
    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