Integration of model checking into software development processes

Repository

Integration of model checking into software development processes

Show simple record

dc.contributor.advisor Browne, James C.
dc.creator Xie, Fei
dc.date.accessioned 2008-08-28T22:01:48Z
dc.date.available 2008-08-28T22:01:48Z
dc.date.created 2004
dc.date.issued 2008-08-28T22:01:48Z
dc.identifier.uri http://hdl.handle.net/2152/1458
dc.description.abstract Not available
dc.format.medium electronic
dc.language.iso eng
dc.rights Copyright © 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.
dc.subject.lcsh Computer software--Verification
dc.subject.lcsh Computer software--Development
dc.title Integration of model checking into software development processes
dc.description.department Computer Sciences
dc.identifier.oclc 58469396
dc.identifier.proqst 3143493
dc.identifier.recnum b59371857
dc.type.genre Thesis
dc.type.material text
thesis.degree.department Computer Sciences
thesis.degree.discipline Computer Sciences
thesis.degree.grantor The University of Texas at Austin
thesis.degree.level Doctoral
thesis.degree.name Doctor of Philosophy

Files in this work

Download File: xief96962.pdf
Size: 512.2Kb
Format: application/pdf

This work appears in the following Collection(s)

Show simple record


Advanced Search

Browse

My Account

Statistics

Information