Design Safety Verification of Medical Device Models using Automata Theory

dc.contributor.advisor	Soltys, Dr. Michael	en
dc.contributor.author	Gambheer, Hita	en
dc.date.accessioned	2017-01-04T16:28:25Z	en
dc.date.available	2017-01-04T16:28:25Z	en
dc.date.issued	2016-08-01	en
dc.identifier.uri	http://hdl.handle.net/10211.3/182902	en
dc.format.extent	51	en
dc.language.iso	en_US	en
dc.publisher	California State University Channel Islands	en
dc.subject	Computer Science	en
dc.subject	Hita Gambheer	en
dc.title	Design Safety Verification of Medical Device Models using Automata Theory	en
dc.type	Thesis	en
dc.contributor.committeeMember	Thoms, Dr. Brian	en
dc.contributor.committeeMember	Claveau, Dr. David	en
dc.contributor.committeeMember	Berg, Dr. Gary	en

Files in this item

Name: HitaGambheerThesis~.pdf

Size: 9.889Mb

Format: PDF