Viacheslav Izosimov, Urban Ingelsson, Andreas Wallin. Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components, . In Frank Ortmeier, Peter Daniel, editors, Computer Safety, Reliability, and Security - 31st International Conference, SAFECOMP 2012, Magdeburg, Germany, September 25-28, 2012. Proceedings. Volume 7612 of Lecture Notes in Computer Science, pages 74-86, Springer, 2012. [doi]
Abstract is missing.