
Unabhängigkeit als prüfbare Eigenschaft
Unabhängigkeit wird einmalig im DFA-Workshop bewertet: danach nie wieder. Dieses Whitepaper zeigt, wie sich die Unabhängigkeitsprämisse in ASIL-Zerlegungen graphentheoretisch und kontinuierlich maschinell prüfen lässt.
Whitepaper herunterladen











