JPL Technical Report Server

Validation of mission critical software design and implementation using model checking

Show simple item record

dc.contributor.author Pingree, P. J. en_US
dc.contributor.author Mikk, E. en_US
dc.contributor.author Holzmann, G. en_US
dc.date.accessioned 2004-09-22T21:58:53Z
dc.date.available 2004-09-22T21:58:53Z
dc.date.issued 2002-10-27 en_US
dc.identifier.citation 21st Digital Avionics Systems Conference en_US
dc.identifier.citation Irvine, California, USA en_US
dc.identifier.clearanceno 02-0740 en_US
dc.identifier.uri http://hdl.handle.net/2014/11984
dc.format.extent 1106182 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other software design software architecture validation en_US
dc.title Validation of mission critical software design and implementation using model checking en_US


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search


Browse

My Account