Extracting Models from ISO 26262 for Reusable Safety Assurance.

Yaping Luo, Mark van den Brand, Luc Engelen, John M. Favaro, Martijn Klabbers, Giovanni Sartori

Browse the full ICSR paper archive.