Michael Thuswald

According to our database, Michael Thuswald authored at least 2 papers between 1997 and 2000.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2000

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

Georg Droschl, Walter Kuhn, Gerald Sonneck, Michael Thuswald

Proceedings of the Computer Safety, 2000

1997

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

Wolfgang Herzner, Matthias Kummer, Michael Thuswald

Proceedings of the Hypertext - Information Retrieval, 1997