Explore projects
-
M4D / xwiki-skin-barrierefrei
MIT LicenseDieses Repository enthält die Dateien, welche für ein barrierefreies XWiki Skin benötigt werden. Alle Details finden sich hier im Wiki.
Updated -
Updated
-
Robin Stampa / SingleImageFourierTransform
GNU General Public License v3.0 onlyFor Fourier transforming BW images and working with them
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 -
Slides from the talk about Data Analysis Using Modern Python
Updated -
-
Kristof / uppaal-code
OtherPTB's UPPAAL code regarding the "broadcast time sync with TESLA" analysis
Updated