Formal Contract Logic Based Patterns for Facilitating Compliance Checking against ISO 26262.

Julieth Patricia Castellanos Ardila, Barbara Gallina

Browse the full JURIX paper archive.