Integration of model checking into software development processes

Description

Thesis (Ph. D.)--University of Texas at Austin, 2004. / Supervisor: James C. Browne. Vita. Includes bibliographical references.

Links & Downloads

1. http://repositories.lib.utexas.edu/bitstream/handle/2152/1458/xief96962.pdf

Tags

Computer software Computer software

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/58469396
Date	January 2004
Creators	Xie, Fei, Browne, James C.
Source Sets	OCLC
Language	English
Detected Language	English