JPL Technical Report Server

Model-checking for validation of a fault protection system

Show simple item record

dc.contributor.author Feather, M. en_US
dc.contributor.author Fickas, S. en_US
dc.contributor.author Razermera-Mamy, N. en_US
dc.date.accessioned 2004-11-09T21:30:46Z
dc.date.available 2004-11-09T21:30:46Z
dc.date.issued 2001-10-24 en_US
dc.identifier.citation 6th IEEE International Symposium on High Assurance Systems Engineering en_US
dc.identifier.citation Boca Raton, FL, USA en_US
dc.identifier.clearanceno 01-1284 en_US
dc.identifier.uri http://hdl.handle.net/2014/36808
dc.format.extent 986485 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other verification validation analysis model checking fault protection state machines message bus NASA en_US
dc.title Model-checking for validation of a fault protection system en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account