A Modeling Approach to Support Safety Assurance in the Automotive Domain.

Yaping Luo, Mark van den Brand, Luc Engelen, Martijn Klabbers

Browse the full ICSEng paper archive.