Explore projects
-
Updated
-
-
Diverse Hinweise und Anleitungen unter Verwendung der Wiki-Funktionalität von "GitLab".
Updated -
Updated
-
Updated
-
Easy to use Audio/Video to WebVTT transcriber based on the OpenAI Whisper model
Updated -
Dieses Repository enthält die Dateien, welche für ein barrierefreies XWiki Skin benötigt werden. Alle Details finden sich hier im Wiki.
Updated -
Updated
-
particle flow simulation in explosion protection.
Start with the user guide located in 'documentation/userGuide/pafiX_userGuide.pdf'.
Updated -
PTB'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 -
Updated
-
Updated
-
Schema files and instance examples for a XML implementation the D-SI data model (D-SI = the Digital System of Units).
Updated -
Updated