Modellbasierte Formalisierung von Anforderungen für eingebettete Systeme im Automotive-BereichAndreas FleischmannAusverkauftBuch bewachen
