( en | de | ru )

 

Disambiguierung von "Rensink, Arend"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
LOCKS: a property specification language for security goals.

, , und . SAC, Seite 1907-1915. ACM, (2018)

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.

Dirk Rensink

Everarda Hermina Rensink

Arend Fischer

Elisabeth Arend

Peter Arend

 

Weitere Publikationen von Autoren mit dem selben Namen

Contents for a Model-Based Software Engineering Body of Knowledge., , , , , , , , , und 3 andere Autor(en). Softw. Syst. Model., 18 (6): 3193-3205 (2019)Model Checking Graph Transformations: A Comparison of Two Approaches., , und . ICGT, Volume 3256 von Lecture Notes in Computer Science, Seite 226-241. Springer, (2004)On a Graph-Based Semantics for UML Class and Object Diagrams., und . ECEASST, (2008)Canonical Graph Shapes.. ESOP, Volume 2986 von Lecture Notes in Computer Science, Seite 401-415. Springer, (2004)Action refinement for Vertical Implementation., und . FBT, Volume 315 von GMD-Studien, Seite 69-78. GMD-Forschungszentrum Informationstechnik GmbH, (1997)Incremental Pattern Matching for Regular Expressions., , und . ECEASST, (2012)AGTIVE 2007 Graph Transformation Tool Contest., und . AGTIVE, Volume 5088 von Lecture Notes in Computer Science, Seite 487-492. Springer, (2007)Class Diagram Restructuring with GROOVE., und . TTC, Volume 135 von EPTCS, Seite 83-87. (2013)How Much Are Your Geraniums? Taking Graph Conditions Beyond First Order.. ModelEd, TestEd, TrustEd, Volume 10500 von Lecture Notes in Computer Science, Seite 191-213. Springer, (2017)Bisimilarity of Open Terms.. Inf. Comput., 156 (1-2): 345-385 (2000)