Automated Validation Environment for a Product Line of Railway Traffic Control Systems

Julio Mellado, Juan C. Dueñas. Automated Validation Environment for a Product Line of Railway Traffic Control Systems. In Frank van der Linden, editor, Software Product-Family Engineering, 4th International Workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001, Revised Papers. Volume 2290 of Lecture Notes in Computer Science, pages 401-408, Springer, 2001. [doi]

@inproceedings{MelladoD01,
  title = {Automated Validation Environment for a Product Line of Railway Traffic Control Systems},
  author = {Julio Mellado and Juan C. Dueñas},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2290/22900401.htm},
  tags = {control systems, C++, Meta-Environment, product line},
  researchr = {https://researchr.org/publication/MelladoD01},
  cites = {0},
  citedby = {0},
  pages = {401-408},
  booktitle = {Software Product-Family Engineering, 4th International Workshop, PFE 2001, Bilbao, Spain, October 3-5, 2001, Revised Papers},
  editor = {Frank van der Linden},
  volume = {2290},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43659-6},
}