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
Forecasting model checking needs during early requirements engineering with Rapture/SP2The proposed usage of Rapture/SP2 in this paper is to identify 'smaller' portions of a system that are more likely to contribute to hazardous behavior.
Document ID
20060031160
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/12319
Authors
Powell, J.
Menzies, T.
Date Acquired
August 23, 2013
Publication Date
May 19, 2001
Distribution Limits
Public
Copyright
Other
Keywords
formal methods model checking

Available Downloads

There are no available downloads for this record.

Related Records

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