DANA unterstützt insbesondere die Absicherung des dynamischen Schnittstellenverhaltens, die bisher in der Modellierung und Spezifizierung nicht ausreichend…