Secure Systems Development -- The Evolving Integration of Validation and Verification - researchr publication

researchr

You are not signed in
Sign in
Sign up

Klaus P. Jantke, Oliver Keller. Secure Systems Development -- The Evolving Integration of Validation and Verification. In Ingrid Russell, John F. Kolen, editors, Proceedings of the Fourteenth International Florida Artificial Intelligence Research Society Conference, May 21-23, 2001, Key West, Florida, USA. pages 630-634, AAAI Press, 2001.

Abstract is missing.

runs on WebDSL