Explore projects
-
Updated
-
Updated
-
Arbeitsgruppe Intelligente Autonome Systeme (INTAS) / VacuSim
Apache License 2.0Updated -
Verification for Decision Model and Notation - Master thesis project of Jonas Blatt - Implementation Project - WiSe 19/20 - SoSe20
Updated -
Updated
-
Updated
-
UpdatedUpdated
-
Updated
-
Updated
-
Updated
-
Updated
-
Updated
-
Bibi Nazneen / electronEkteros
Creative Commons Zero v1.0 UniversalUpdated -
Matthias Greber / ETI-M
MIT LicenseUpdated -
Updated
-
Updated
-
Updated