Christoph Knittel - A Mission-Critical ReasonML App for Railway Safety | ReasonConf 2019
Why it's on BrighterTube
Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidenceChristoph Knittel presents a mission-critical railway safety application built in ReasonML. The talk teaches high-assurance system development and verification techniques.
What you'll learn
A 26-minute video from ReasonConf: “Christoph Knittel - A Mission-Critical ReasonML App for Railway Safety | ReasonConf 2019”.
Video by ReasonConf, played through YouTube's embedded player.