Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-Bereich

by Andreas Fleischmann