Carmen Cârlan, Daniel Petrisor, Barbara Gallina, Hannes Schoenhaar. Checkable Safety Cases: Enabling Automated Consistency Checks between Safety Work Products. In 2020 IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops, Coimbra, Portugal, October 12-15, 2020. pages 295-302, IEEE, 2020. [doi]
Abstract is missing.