Explore projects

Database service

Metrology Cloud client

Periodisches Auffrischen der Replikationsdokumente zum Replizieren der CouchDB-Datenbank »vl_db«

data base for mp

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.

Example scheme for the Legal Metrology domain

Reads CleverLab dcc, generates VacLab json.

Repository to track everything related to my PhD thesis.

Generates viewcounts for PTB-TV Livestreams