Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung

BIB
Damm, W. and Schulte, C. and Segelken, M. and Wittke, H. and Higgen, U. and Eckrich, M.
06 / 2006
3-88579-363-6
article
340-345