mayerkr

Pinned Repositories

• VIATRA-Generator

  An efficient graph solver for generating well-formed models

  Language:Java265

• massif

  Massif is a Matlab Simulink Integration Framework for Eclipse

  Language:Java2014

• org.eclipse.viatra.examples

  Discountinued mirror of VIATRA Examples Eclipse repository, use https://github.com/eclipse-viatra/org.eclipse.viatra.examples instead

  Language:Java24

• cps-model-generator

  Language:HTML00

mayerkr's Repositories