JPL Technical Report Server

Automated model checking with promela/spin

Show simple item record Benowitz, E. en_US Pingree, P. en_US 2004-09-17T19:02:16Z 2004-09-17T19:02:16Z 2002-11-04 en_US
dc.identifier.citation 2nd Annual JPL IT Symposium en_US
dc.identifier.citation Pasadena, CA, USA en_US
dc.identifier.clearanceno 02-2742 en_US
dc.format.extent 3010022 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US
dc.subject.other model checking spin statechart en_US
dc.title Automated model checking with promela/spin en_US

Files in this item

This item appears in the following Collection(s)

Show simple item record



My Account