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}, }