NASA NTRS · 20060030702
Component based approach to modeling for model checking
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.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Powell, J. D., Gilliam, D. P.. 2002-06-28. Component based approach to modeling for model checking. https://ntrs.nasa.gov/citations/20060030702
Cite the original work for its findings. Save a collection to share your selection of sources.