Source code of the jEULYNX prototype framework
doi:10.4121/14071319.v1
The doi above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future.
For a link that will always point to the latest version, please use
doi: 10.4121/14071319
doi: 10.4121/14071319
Datacite citation style:
van der Wal, Djurre (2021): Source code of the jEULYNX prototype framework. Version 1. 4TU.ResearchData. software. https://doi.org/10.4121/14071319.v1
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite
Software
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.
history
- 2021-04-14 first online, published, posted
publisher
4TU.ResearchData
organizations
University of Twente, Department of Computer Science, Faculty for Formal Methods & Tools
DATA
files (2)
- 2,497 bytesMD5:
18376b7b391dd702018665744ccacde2
README.md - 208,089 bytesMD5:
c3cec32f8073540bf2a7afd656fdb738
jlx-framework-source.zip -
download all files (zip)
210,586 bytes unzipped