Rail Requirements Tracking and Architectural Verification.

Aroua Ben Daya, Rim Saddem-Yagoubi, Mohamed Taha Bennani

Browse the full VECoS paper archive.