Carsten Ditze

Towards operating system synthesis

Carsten Ditze, 2000 .

A customizable library to support software synthesis for embedded applications and micro-kernel systems

Carsten Ditze, 1998, EW 8.