1/1
2 files

Source code of the jEULYNX prototype framework

software
posted on 14.04.2021, 09:24 by Djurre van der Wal
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

Publisher

4TU.ResearchData

Organizations

University of Twente, Department of Computer Science, Faculty for Formal Methods & Tools

Licence

Exports

University of Twente

Licence

Exports