NASA NTRS · 19940024991
ASSIST internals reference manual
Abstract
The Abstract Semi-Markov Specification Interface to the SURE Tool (ASSIST) program was developed at NASA LaRC in order to analyze the reliability of virtually any fault-tolerant system. A user manual was developed to detail its use. Certain technical specifics are of no concern to the end user, yet are of importance to those who must maintain and/or verify the correctness of the tool. This document takes a detailed look into these technical issues.
Keep this discovery
Explore connections, maps & timelines
Johnson, Sally C., Boerschlein, David P.. 1994-04-01. ASSIST internals reference manual. https://ntrs.nasa.gov/citations/19940024991
Cite the original work for its findings. Save a collection to share your selection of sources.