1 paper
Arno Leue, Akhila Bairy, Maike Schwammberger
Autonomous and software-intensive systems have been growing in occurrence, complexity, and assumed responsibility. Due to the high complexity of these systems, properties like tran…