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

researchr

You are not signed in
Sign in
Sign up

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. In Floor Koornneef, Meine van der Meulen, editors, Computer Safety, Reliability and Security, 19th International Conference, SAFECOMP 2000, Rotterdam, The Netherlands, October 24-27, 2000, Proceedings. Volume 1943 of Lecture Notes in Computer Science, pages 187-197, Springer, 2000. [doi]

This author has not been identified. Look up 'Georg Droschl' in GoogleThis author has not been identified. Look up 'Walter Kuhn' in GoogleThis author has not been identified. Look up 'Gerald Sonneck' in GoogleThis author has not been identified. Look up 'Michael Thuswald' in Google

runs on WebDSL