Michael Thuswald

A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module

Walter Kuhn, Georg Droschl, Gerald Sonneck, 2000, SAFECOMP.

DVS - A System for Recording, Archiving and Retrieval of Digital Video in Security Environments

Wolfgang Herzner, Michael Thuswald, Matthias Kummer, 1997, HIM.