Explore projects

This project contains the implementation and examples of the publication MM/GW, CE, "A rejection Sampler extending GUM-S1", Metrologia, 2021 [TODO].

PTB's UPPAAL code regarding the "broadcast time sync with TESLA" analysis