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
Experiences in integrating auto-translated state-chart designs for model checkingIn the complex environment of JPL's flight missions with increasing dependency on advanced software designs, traditional software validation methods of simulation and testing are being stretched to adequately cover the needs of software development.
Document ID
20060028991
Acquisition Source
Jet Propulsion Laboratory
Document Type
Conference Paper
External Source(s)
hdl:2014/7367
Authors
Pingree, P. J.
Benowitz, E. G.
Date Acquired
August 23, 2013
Publication Date
June 23, 2003
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Other
Keywords
model checking statecharts translation verification

Available Downloads

There are no available downloads for this record.

Related Records

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