A linear scaling change impact analysis based on a formal safety model for automotive embedded systems

Markus Oertel. A linear scaling change impact analysis based on a formal safety model for automotive embedded systems. PhD thesis, University of Oldenburg, Germany, 2016. [doi]

Abstract

Abstract is missing.