Explore projects
-
Kristof / uppaal-code
OtherPTB's UPPAAL code regarding the "broadcast time sync with TESLA" analysis
Updated -
-
The source code of the testbed implementation used in Gregor Hildermeier's work oin TESLA-protected one-way time synchronization
Updated -
The Isabelle source files for PTB's framework for proofs about security in synchronization as well as the two-way NTS protocol model plus proofs and the one-way TESLA-protected synchronization protocol model plus proofs.
Updated -
M4D / Sensor Dynamic Transfer Behavior Ontology
Apache License 2.0Updated -
Updated
-
Updated
-
Updated
-
Updated
-
MetHyInfra / Hydrogen-Real-Gas-Model
GNU General Public License v3.0 or laterUpdated -
Beispiele von Python-Code, der sich leicht wiederverwenden lässt
Updated -
Ingredients for conversion of a DCC xml structure to a printable pdf file
Updated -
Jan Hartig / janus-ftl-plugin
GNU Affero General Public License v3.0UpdatedUpdated -
Example plain HTML site using GitLab Pages: https://pages.gitlab.io/plain-html
Updated -
Updated
-
Updated
-
Updated
-
Updated