Browsing by Author "Trachtenherz, David"
Now showing items 1-2 of 2
-
Formale Semantik modularer Zeitverfeinerung in AUTOFOCUS
Trachtenherz, David
141-152 -
Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs
Bogenberger, Richard; Trachtenherz, David
35-49