JPL Technical Report Server

Component based approach to modeling for model checking

Show simple item record Powell, J. D. en_US Gilliam, D. P. en_US 2004-09-22T21:34:50Z 2004-09-22T21:34:50Z 2002-06-28 en_US
dc.identifier.citation 6th World Conference on Integrated Design and Process en_US
dc.identifier.citation Pasadena, CA, USA en_US
dc.identifier.clearanceno 02-0302 en_US
dc.description.abstract This paper presents a portion of an overall research project on the generation of a software security assessment instrument to aid developers in assessing and assuring the security of software in the development and maintenance lifecycles. en_US
dc.format.extent 2916480 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other security toolset model checking security safety formal verification en_US
dc.title Component based approach to modeling for model checking en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record



My Account