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

Mon, 01 Jan 2001 00:00:00 +0100

Julio Mellado, Juan C. Dueñas:
Automated Validation Environment for a Product Line of Railway Traffic Control Systems. PFE 2001: 401-408