Auflistung nach Autor "Trachtenherz, David"
Anzeige der Dokumente 1-2 von 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