Autor(in)TitelDatum
Anna PrenzelGestaltung der Mensch-Computer-Interaktion zur Entscheidungsunterstützung in Planungssystemen04.06.2018
Thilo VörtlerVerification of Software for Contiki-based Low-Power Embedded Systems Using Software Model Checking24.11.2017
Wolfgang Jeltsch Strongly Typed and Efficient Functional Reactive Programming08.12.2011