TheKorpos/MD2Gamma
MagicDraw 18.5 plug-in development harness
Repositories
TheKorpos/bsc-thesis-latex
BSc thesis: Formal verification of MagicDraw statecharts
TheKorpos/v4md
A MagicDraw plug-in that offers the API of Eclipse VIATRA for other MagicDraw plug-ins
TheKorpos/gamma
The Gamma Statechart Composition Framework