Auflistung nach Autor "Balz, Moritz"
Anzeige der Dokumente 1-4 von 4
-
Embedding behavioral models into object-oriented source code
Balz, Moritz; Striewe, Michael; Goedicke, Michael
51-62 -
Enriching OSGI service interfaces with formal sequential contracts
Müller, Marco; Balz, Moritz; Goedicke, Michael
41-46 -
Representing formal component models in OSGi
Müller, Marco; Balz, Moritz; Goedicke, Michael
45-56 -
UPPAAL-Modelle als ausführbare Spezifikation in Java
Goedicke, Michael; Balz, Moritz; Striewe, Michael
212-218