Pinned Repositories
BME-MODES3
Model-based Demonstrator for Smart and Safe Systems
cps_lp_rec_demo_tmp
gamma
The Gamma Statechart Composition Framework
matrix4-status-backend
MoDeS4
MoDeS4-temp-Webservice
SCHMATRIX
This is the original software of the Schönherz Matrix.
statecharts
YAKINDU Statechart Tools (http://www.statecharts.org)
StationController
stochastic-gamma-measurements
simon5521's Repositories
simon5521/BME-MODES3
Model-based Demonstrator for Smart and Safe Systems
simon5521/cps_lp_rec_demo_tmp
simon5521/gamma
The Gamma Statechart Composition Framework
simon5521/matrix4-status-backend
simon5521/MoDeS4
simon5521/MoDeS4-temp-Webservice
simon5521/SCHMATRIX
This is the original software of the Schönherz Matrix.
simon5521/statecharts
YAKINDU Statechart Tools (http://www.statecharts.org)
simon5521/StationController
simon5521/stochastic-gamma-measurements
simon5521/theta
Generic, modular and configurable model checking framework
simon5521/TMIT_IoT_verseny_2020
simon5521/UniversalParametricMarkovChainTester