Causality Checking of Safety-Critical Software and Systems

Florian Leitner-Fischer. Causality Checking of Safety-Critical Software and Systems. PhD thesis, University of Konstanz, Germany, 2015. [doi]

Abstract

Abstract is missing.