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 A Formal Methods Case Study: Using Light-Weight VDM for the Development of a Security System Module. 187-197 http://link.springer.de/link/service/series/0558/bibs/1943/19430187.htm 2000 conf/safecomp/2000 SAFECOMP db/conf/safecomp/safecomp2000.html#DroschlKST00