Acquisition Source
Jet Propulsion Laboratory
Document Type
Reprint (Version printed in journal)
Date Acquired
August 23, 2013
Publication Date
February 1, 1999
Publication Information
Publication: Transactions on Software Engineering
Subject Category
Computer Programming And Software Distribution Limits
Public
Keywords
model checking fault tolerant embedded spacecraft controller validation