NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
Security system property decomposition for model checking with the flexible modeling framework (FMF)This paper discusses proposed improvements to the Flexible Modeling Framework (FMF) approach to model checking.
Document ID
20060028835
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/7142
Authors
Powell, J. D.
Date Acquired
August 23, 2013
Publication Date
July 13, 2002
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Other
Keywords
model checking format methods security software networking

Available Downloads

There are no available downloads for this record.

Related Records

There are no records associated with this record.
No Preview Available