Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components, .

Viacheslav Izosimov, Urban Ingelsson, Andreas Wallin

Browse the full SAFECOMP paper archive.