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), 103 Quellen im…