NASA NTRS · 20060028835
Security system property decomposition for model checking with the flexible modeling framework (FMF)
Abstract
This paper discusses proposed improvements to the Flexible Modeling Framework (FMF) approach to model checking.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Powell, J. D.. 2002-07-13. Security system property decomposition for model checking with the flexible modeling framework (FMF). https://ntrs.nasa.gov/citations/20060028835
Cite the original work for its findings. Save a collection to share your selection of sources.