TY - DATA
T1 - Source code of the jEULYNX prototype framework
PY - 2021/04/14
AU - Djurre van der Wal
UR - https://data.4tu.nl/articles/software/Source_code_of_the_jEULYNX_prototype_framework/14071319/1
DO - 10.4121/14071319.v1
KW - EULYNX
KW - jEULYNX
KW - DSL
KW - MDE
KW - FormaSig
N2 - A prototype version of the jEULYNX prototype framework, which uses an internal domain-specific language to capture SysML diagrams as digital models. It also contains several exports for the models, in particular to the process algebra mCRL2.
ER -