Feedback
keyword: model driven verification – 2 free books.
Entwicklung von Methoden zur abstrakten Modellierung von Automotive Systems-on-Chips
Aljoscha Kirchner