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

Doktorarbeit / Dissertation aus dem Jahr 2008 im Fachbereich Informatik - Angewandte Informatik, Note: Magna Cum Laude, Technische Universität München (Fakultät für Informatik), Sprache: Deutsch,…