Show simple item record

dc.contributor.advisorBrowne, James C.en
dc.creatorXie, Feien
dc.date.accessioned2008-08-28T22:01:48Zen
dc.date.available2008-08-28T22:01:48Zen
dc.date.created2004en
dc.date.issued2008-08-28T22:01:48Zen
dc.identifierb59371857en
dc.identifier.urihttp://hdl.handle.net/2152/1458en
dc.descriptiontexten
dc.description.abstractNot availableen
dc.format.mediumelectronicen
dc.language.isoengen
dc.rightsCopyright is held by the author. Presentation of this material on the Libraries' web site by University Libraries, The University of Texas at Austin was made possible under a limited license grant from the author who has retained all copyrights in the works.en
dc.subject.lcshComputer software--Verificationen
dc.subject.lcshComputer software--Developmenten
dc.titleIntegration of model checking into software development processesen
dc.description.departmentComputer Sciencesen
dc.identifier.oclc58469396en
dc.identifier.proqst3143493en
dc.type.genreThesisen
thesis.degree.departmentComputer Sciencesen
thesis.degree.disciplineComputer Sciencesen
thesis.degree.grantorThe University of Texas at Austinen
thesis.degree.levelDoctoralen
thesis.degree.nameDoctor of Philosophyen


Files in this item

Icon

This item appears in the following Collection(s)

Show simple item record