Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Skript zur Vorlesung Data Science im Informatik Bachelor an der HHU
Web-Version: https://voelkel.pages.cs.uni-duesseldorf.de/lecturescript
-
-
XBA problem generation from SBML code metabolic/kinetic models. Support of Growth Balance Analysis (GBA), FBA and RBA
-
-
Reduce a metabolic network (SBML fbc coded model) as per Network Reducer method implemented in MATLAB tool CellNetAnalzyser.
-
A Java-based Jupyter kernel for ProB 2
-
-
-
LaTeX-Vorlage für Bachelor und Masterarbeiten.
-
-
-
The ProB Model Checker and Animator Plugin for Rodin
-
-
Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.