Auflistung nach Autor "Bogenberger, Richard"
Anzeige der Dokumente 1-1 von 1
-
Qualitätssteigerung der Automotive-Software durch formale Spezifikation funktionaler Eigenschaften auf der Abstraktionsebene des Modellentwurfs
Bogenberger, Richard; Trachtenherz, David
35-49