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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: J.P. Castellanos Ardila, B. Gallina

Journal title: 1st Workshop on Technologies for Regulatory Compliance (TeReCom)

Journal publisher: CEUR Workshop Proceedings

Published year: 2017