JPL Technical Report Server

Automated model checking with promela/spin

Show simple item record

dc.contributor.author Benowitz, E. en_US
dc.contributor.author Pingree, P. en_US
dc.date.accessioned 2004-09-17T19:02:16Z
dc.date.available 2004-09-17T19:02:16Z
dc.date.issued 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.identifier.uri http://hdl.handle.net/2014/10654
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

Search


Browse

My Account