Lessons Learned while Formalizing ISO 26262 for Compliance Checking.

Julieth Patricia Castellanos Ardila, Barbara Gallina, Guido Governatori

Browse the full JURIX paper archive.