Model checking investigations for fault protection system validation

dc.contributor.author	Pingree, P.	en_US
dc.contributor.author	Barltrop, K.	en_US
dc.date.accessioned	2004-09-20T19:48:37Z
dc.date.available	2004-09-20T19:48:37Z
dc.date.issued	2003-07-13	en_US
dc.identifier.citation	Space Mission Challenges for Information Technology 2003	en_US
dc.identifier.citation	Pasadena, CA, USA	en_US
dc.identifier.clearanceno	02-3118	en_US
dc.identifier.uri	http://hdl.handle.net/2014/11208
dc.format.extent	683066 bytes
dc.format.mimetype	application/pdf
dc.language.iso	en_US
dc.subject.other	model checking statechart translation validation	en_US
dc.title	Model checking investigations for fault protection system validation	en_US