Explore projects
-
This project contains the execution scripts to the QEST special issue "State-space construction of Hybrid Petri nets with multiple stochastic firings" (to be) published in September 2020.
Updated -
ag-salinga / HPC images / 2PT
MIT LicenseUpdated -
Updated
-
ZHLdigital / eLectures / forks / annotation-tool
Apache License 2.0UpdatedUpdated -
Updated
-
Updated
-
Updated
-
ag-salinga / baand
GNU General Public License v3.0 or laterUpdated -
Christopher Wiedey / bachelor-applications
MIT LicenseThis project includes exemplary applications supplementing the my bachelor thesis.
The full text of the thesis can also be found in this repository.
UpdatedUpdated -
Updated