Explore projects

This is an implimentation of a Graph Based Slam for a University Seminar

Virtuelle Maschinen WS2015

A replacement for the often battery acid soaked and corroded KLM-367.

A linux tool to rebind PCI devices to another driver.

A customizable TableGen for use in "Konfigurierbare Systemsoftware"

Gehaeuse und Platine zur einfacheren Verkabelung von DS18S20 oder DS18B20 1wire-Temperatursensoren.

Vertical Verification: SSTG -> nuSMV model

Project contains 'BalanceFlow' which is a novel simulation environment designed for holistic simulation modelling of process production systems.

dOSEK - Dhe One and Single Extended Kernel

Altklausur Loesungsversuche nach Themen sortiert

Contains main setup script for faumachine, faucc, and fhdlc