( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Towards a body of knowledge for model-based software engineering.

, , , , , , , , , , , и . MoDELS Companion, стр. 82-89. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Dirk Rensink

Everarda Hermina Rensink

Arend Eisenloeffel

Arend Heise

Arend Lang

 

Другие публикации лиц с тем же именем

Incremental Pattern Matching for Regular Expressions., , и . ECEASST, (2012)Contents for a Model-Based Software Engineering Body of Knowledge., , , , , , , , , и 3 other автор(ы). Softw. Syst. Model., 18 (6): 3193-3205 (2019)Graph- versus Vector-Based Analysis of a Consensus Protocol., , и . GRAPHITE, том 159 из EPTCS, стр. 44-57. (2014)On a Graph-Based Semantics for UML Class and Object Diagrams., и . ECEASST, (2008)Canonical Graph Shapes.. ESOP, том 2986 из Lecture Notes in Computer Science, стр. 401-415. Springer, (2004)Model Checking Graph Transformations: A Comparison of Two Approaches., , и . ICGT, том 3256 из Lecture Notes in Computer Science, стр. 226-241. Springer, (2004)Action refinement for Vertical Implementation., и . FBT, том 315 из GMD-Studien, стр. 69-78. GMD-Forschungszentrum Informationstechnik GmbH, (1997)The GROOVE Simulator: A Tool for State Space Generation. 3062, стр. 479--485. (2004)Fair Testing., , и . CONCUR, том 962 из Lecture Notes in Computer Science, стр. 313-327. Springer, (1995)Towards a Formal Specification of Multi-paradigm Modelling., , , , , и . MoDELS (Companion), стр. 419-424. IEEE, (2019)