PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Maoz, Shahar"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Lattice-Based Semantics for Combinatorial Model Evolution.

, und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 276-292. Springer, (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Keine Personen gefunden für den Autorennamen Maoz, Shahar
Eine Person hinzufügen mit dem Namen Maoz, Shahar
 

Weitere Publikationen von Autoren mit dem selben Namen

Counter play-out: executing unrealizable scenario-based specifications., und . ICSE, Seite 242-251. IEEE Computer Society, (2013)An Interim Summary on Semantic Model Differencing., , und . CoRR, (2014)Spectra: A Specification Language for Reactive Systems., und . CoRR, (2019)Lattice-Based Semantics for Combinatorial Model Evolution., und . ATVA, Volume 9364 von Lecture Notes in Computer Science, Seite 276-292. Springer, (2015)Visual Formalisms., und . Encyclopedia of Database Systems, Springer US, (2009)Verifying Component and Connector Models against Crosscutting Structural Views (extended abstract), , und . Softwareengineering & Management 2015, Volume P-239 von GI-Edition--Lecture Notes in Informatics (LNI), Seite 110--111. Bonner Köllen Verlag, (2015)Semantically Configurable Consistency Analysis for Class and Object Diagrams, , und . Conference on Model Driven Engineering Languages and Systems (MODELS'11), Seite 153--167. Springer, (2011)Mining modal scenarios from execution traces., , und . OOPSLA Companion, Seite 777-778. ACM, (2007)Symbolic repairs for GR(1) specifications., , und . ICSE, Seite 1016-1026. IEEE / ACM, (2019)OCL Framework to Verify Extra-Functional Properties in Component and Connector Models., , , , und . MoDELS (Satellite Events), Volume 2019 von CEUR Workshop Proceedings, Seite 24-30. CEUR-WS.org, (2017)