JPL Technical Report Server

Component based approach to modeling for model checking

Show simple item record

dc.contributor.author Powell, J. D. en_US
dc.contributor.author Gilliam, D. P. en_US
dc.date.accessioned 2004-09-22T21:34:50Z
dc.date.available 2004-09-22T21:34:50Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/2014/11725
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

Search


Browse

My Account