simon5521

Pinned Repositories

BME-MODES3
Model-based Demonstrator for Smart and Safe Systems
Language:C++00
cps_lp_rec_demo_tmp
Language:C++0 4 00
gamma
The Gamma Statechart Composition Framework
Language:Xtend00
matrix4-status-backend
00
MoDeS4
Language:Python01
MoDeS4-temp-Webservice
00
SCHMATRIX
This is the original software of the Schönherz Matrix.
00
statecharts
YAKINDU Statechart Tools (http://www.statecharts.org)
Language:Java00
StationController
Language:Roff00
stochastic-gamma-measurements
Language:HTML00

simon5521's Repositories

simon5521/BME-MODES3
Model-based Demonstrator for Smart and Safe Systems
Language:C++00
simon5521/cps_lp_rec_demo_tmp
Language:C++0 4 00
simon5521/gamma
The Gamma Statechart Composition Framework
Language:Xtend00
simon5521/matrix4-status-backend
00
simon5521/MoDeS4
Language:Python01
simon5521/MoDeS4-temp-Webservice
00
simon5521/SCHMATRIX
This is the original software of the Schönherz Matrix.
00
simon5521/statecharts
YAKINDU Statechart Tools (http://www.statecharts.org)
Language:Java00
simon5521/StationController
Language:Roff00
simon5521/stochastic-gamma-measurements
Language:HTML00
simon5521/lemontree-test
Small repository to test Lemontree
simon5521/theta
Generic, modular and configurable model checking framework
Language:Java
simon5521/TMIT_IoT_verseny_2020
Language:Java
simon5521/UniversalParametricMarkovChainTester
Language:Java