Auflistung nach Autor "Maoz, Shahar"
Anzeige der Dokumente 1-5 von 5
-
Component and Connector Views in Practice
Bertram, Vincent; Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard; von Wenckstern, Michael
97-99 -
GR(1) synthesis for LTL specification patterns
Maoz, Shahar; Ringert, Jan Oliver
103-104 -
An Interim Summary on Semantic Model Differencing
Maoz, Shahar; Ringert, Jan; Rumpe, Bernhard
44-46 -
Synthesis of component and connector models from crosscutting structural views (extended abstract)
Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard
63-64 -
Verifying component and connector models against crosscutting structural views
Maoz, Shahar; Ringert, Jan Oliver; Rumpe, Bernhard
110-111